That is, if `class C implements D` appears in crate `foo`, importing `foo::C` in crate `bar` should mean we can cast `C` to `D`.