tests/ui/resolve/issue-5035.rs

   1 trait I {}
   2 type K = dyn I;
   3 impl K for isize {} //~ ERROR expected trait, found type alias `K`
   4
   5 use ImportError; //~ ERROR unresolved import `ImportError` [E0432]
   6                  //~^ no `ImportError` in the root
   7 impl ImportError for () {} // check that this is not an additional error (cf. issue #35142)
   8
   9 fn main() {}