B に依存しないと canImport(B) の内部を解決する方法がないし、依存してるなら C も間接的に B に依存することになって常に canImport(B) が満たされそう。