diff options
| author | Kivooeo <Kivooeo123@gmail.com> | 2025-06-29 21:05:19 +0500 |
|---|---|---|
| committer | Kivooeo <Kivooeo123@gmail.com> | 2025-07-01 15:29:29 +0500 |
| commit | f12120d2bd237ffbf03c8de027513a8d0bc63616 (patch) | |
| tree | 3350a7cbd9079d31f145865734ed4de151c91133 /tests/ui/generics | |
| parent | 6ca9b43ea9f50d5e77dc0f8d4d62283017b3f1b0 (diff) | |
| download | rust-f12120d2bd237ffbf03c8de027513a8d0bc63616.tar.gz rust-f12120d2bd237ffbf03c8de027513a8d0bc63616.zip | |
cleaned up some tests
Diffstat (limited to 'tests/ui/generics')
| -rw-r--r-- | tests/ui/generics/generic-params-nested-fn-scope-error.rs | 15 | ||||
| -rw-r--r-- | tests/ui/generics/generic-params-nested-fn-scope-error.stderr | 16 |
2 files changed, 18 insertions, 13 deletions
diff --git a/tests/ui/generics/generic-params-nested-fn-scope-error.rs b/tests/ui/generics/generic-params-nested-fn-scope-error.rs index c00c3bc3372..eaf514da337 100644 --- a/tests/ui/generics/generic-params-nested-fn-scope-error.rs +++ b/tests/ui/generics/generic-params-nested-fn-scope-error.rs @@ -1,9 +1,14 @@ -fn hd<U>(v: Vec<U> ) -> U { - fn hd1(w: [U]) -> U { return w[0]; } - //~^ ERROR can't use generic parameters from outer item - //~| ERROR can't use generic parameters from outer item +//! Test that generic parameters from an outer function are not accessible +//! in nested functions. - return hd1(v); +fn foo<U>(v: Vec<U>) -> U { + fn bar(w: [U]) -> U { + //~^ ERROR can't use generic parameters from outer item + //~| ERROR can't use generic parameters from outer item + return w[0]; + } + + return bar(v); } fn main() {} diff --git a/tests/ui/generics/generic-params-nested-fn-scope-error.stderr b/tests/ui/generics/generic-params-nested-fn-scope-error.stderr index 7ca65b421b2..7fd1069c651 100644 --- a/tests/ui/generics/generic-params-nested-fn-scope-error.stderr +++ b/tests/ui/generics/generic-params-nested-fn-scope-error.stderr @@ -1,19 +1,19 @@ error[E0401]: can't use generic parameters from outer item - --> $DIR/nested-ty-params.rs:2:16 + --> $DIR/generic-params-nested-fn-scope-error.rs:5:16 | -LL | fn hd<U>(v: Vec<U> ) -> U { - | - type parameter from outer item -LL | fn hd1(w: [U]) -> U { return w[0]; } +LL | fn foo<U>(v: Vec<U>) -> U { + | - type parameter from outer item +LL | fn bar(w: [U]) -> U { | - ^ use of generic parameter from outer item | | | help: try introducing a local generic parameter here: `<U>` error[E0401]: can't use generic parameters from outer item - --> $DIR/nested-ty-params.rs:2:23 + --> $DIR/generic-params-nested-fn-scope-error.rs:5:23 | -LL | fn hd<U>(v: Vec<U> ) -> U { - | - type parameter from outer item -LL | fn hd1(w: [U]) -> U { return w[0]; } +LL | fn foo<U>(v: Vec<U>) -> U { + | - type parameter from outer item +LL | fn bar(w: [U]) -> U { | - ^ use of generic parameter from outer item | | | help: try introducing a local generic parameter here: `<U>` |