1 files changed, 9 insertions, 0 deletions
diff --git a/src/test/ui/resolve/issue-5035.rs b/src/test/ui/resolve/issue-5035.rs
new file mode 100644
index 000000000..49fa312f9
--- /dev/null
+++ b/src/test/ui/resolve/issue-5035.rs
@@ -0,0 +1,9 @@
+trait I {}
+type K = dyn I;
+impl K for isize {} //~ ERROR expected trait, found type alias `K`
+
+use ImportError; //~ ERROR unresolved import `ImportError` [E0432]
+                 //~^ no `ImportError` in the root
+impl ImportError for () {} // check that this is not an additional error (cf. issue #35142)
+
+fn main() {}