1 files changed, 12 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-53300.rs b/src/test/ui/issues/issue-53300.rs
new file mode 100644
index 000000000..09f0fe9d9
--- /dev/null
+++ b/src/test/ui/issues/issue-53300.rs
@@ -0,0 +1,12 @@
+// issue 53300
+
+pub trait A {
+    fn add(&self, b: i32) -> i32;
+}
+
+fn addition() -> Wrapper<impl A> {}
+//~^ ERROR cannot find type `Wrapper` in this scope [E0412]
+
+fn main() {
+    let res = addition();
+}