Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 35 insertions, 0 deletions

diff --git a/src/test/ui/resolve/resolve-type-param-in-item-in-trait.rs b/src/test/ui/resolve/resolve-type-param-in-item-in-trait.rs
new file mode 100644
index 000000000..c77a66524
--- /dev/null
+++ b/src/test/ui/resolve/resolve-type-param-in-item-in-trait.rs
@@ -0,0 +1,35 @@
+// Issue #14603: Check for references to type parameters from the
+// outer scope (in this case, the trait) used on items in an inner
+// scope (in this case, the enum).
+
+trait TraitA<A> {
+    fn outer(&self) {
+        enum Foo<B> {
+            Variance(A)
+                //~^ ERROR can't use generic parameters from outer function
+        }
+    }
+}
+
+trait TraitB<A> {
+    fn outer(&self) {
+        struct Foo<B>(A);
+                //~^ ERROR can't use generic parameters from outer function
+    }
+}
+
+trait TraitC<A> {
+    fn outer(&self) {
+        struct Foo<B> { a: A }
+                //~^ ERROR can't use generic parameters from outer function
+    }
+}
+
+trait TraitD<A> {
+    fn outer(&self) {
+        fn foo<B>(a: A) { }
+                //~^ ERROR can't use generic parameters from outer function
+    }
+}
+
+fn main() { }