canImport の実装読んでみても良さそうですね。 canImport 自体は SwiftPM と独立に動きそうなので、 canImport の厳密な判定条件がわかれば実際にどういう挙動をするのか理解できそうです。