//@ dont-require-annotations: NOTE

trait I {}
type K = dyn I;
impl K for isize {} //~ ERROR expected trait, found type alias `K`

use crate::ImportError; //~ ERROR unresolved import `crate::ImportError` [E0432]
                 //~^ NOTE no `ImportError` in the root
impl ImportError for () {} // check that this is not an additional error (cf. issue #35142)

fn main() {}