add test to check for popping wrong items

rust-lang · Sep 5, 2024 · dc46bff · dc46bff
1 parent c8d001f
commit dc46bff
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/tests/ui/use_self.rs b/tests/ui/use_self.rs
@@ -691,3 +691,21 @@ mod issue_13092 {
         }
     }
 }
+
+mod crash_check_13128 {
+    struct A;
+
+    impl A {
+        fn a() {
+            struct B;
+
+            impl Iterator for &B { // pushes a NoCheck
+                type Item = A; // Pops the NoCheck
+
+                fn next(&mut self) -> Option<A> { // Lints A -> Self
+                    Some(A)
+                }
+            }
+        }
+    }
+}