diff options
| author | mibac138 <5672750+mibac138@users.noreply.github.com> | 2021-05-06 14:33:23 +0200 |
|---|---|---|
| committer | mibac138 <5672750+mibac138@users.noreply.github.com> | 2021-05-07 18:29:25 +0200 |
| commit | 4c72efc8167405ca1cc3002266a9bf15f70dafb3 (patch) | |
| tree | 8442191074b8b2a1bffc030044ca565f3fb044be /src/test/ui/missing/missing-items | |
| parent | 1bb94fbbeb703806817a09806365e26a18f5daa4 (diff) | |
| download | rust-4c72efc8167405ca1cc3002266a9bf15f70dafb3.tar.gz rust-4c72efc8167405ca1cc3002266a9bf15f70dafb3.zip | |
Fix impl type parameter suggestion involving consts
Diffstat (limited to 'src/test/ui/missing/missing-items')
| -rw-r--r-- | src/test/ui/missing/missing-items/missing-type-parameter2.rs | 6 | ||||
| -rw-r--r-- | src/test/ui/missing/missing-items/missing-type-parameter2.stderr | 52 |
2 files changed, 49 insertions, 9 deletions
diff --git a/src/test/ui/missing/missing-items/missing-type-parameter2.rs b/src/test/ui/missing/missing-items/missing-type-parameter2.rs index e5d90bb6ff0..15dc5ef797b 100644 --- a/src/test/ui/missing/missing-items/missing-type-parameter2.rs +++ b/src/test/ui/missing/missing-items/missing-type-parameter2.rs @@ -11,7 +11,11 @@ impl<T, const A: u8 = 2> X<N> {} //~| ERROR defaults for const parameters are only allowed in `struct`, `enum`, `type`, or `trait` definitions //~| ERROR unresolved item provided when a constant was expected -fn bar<const N: u8>(a: A) {} +fn foo(_: T) where T: Send {} +//~^ ERROR cannot find type `T` in this scope +//~| ERROR cannot find type `T` in this scope + +fn bar<const N: u8>(_: A) {} //~^ ERROR cannot find type `A` in this scope fn main() { diff --git a/src/test/ui/missing/missing-items/missing-type-parameter2.stderr b/src/test/ui/missing/missing-items/missing-type-parameter2.stderr index 545be1c34fb..985a9bb2a3f 100644 --- a/src/test/ui/missing/missing-items/missing-type-parameter2.stderr +++ b/src/test/ui/missing/missing-items/missing-type-parameter2.stderr @@ -30,26 +30,62 @@ LL | impl<T, const A: u8 = 2> X<T> {} | ^ help: you might be missing a type parameter | -LL | impl<T, const A, N: u8 = 2> X<N> {} - | ^^^ +LL | impl<T, const A: u8 = 2, N> X<N> {} + | ^^^ + +error[E0412]: cannot find type `T` in this scope + --> $DIR/missing-type-parameter2.rs:14:20 + | +LL | struct X<const N: u8>(); + | ------------------------ similarly named struct `X` defined here +... +LL | fn foo(_: T) where T: Send {} + | ^ + | +help: a struct with a similar name exists + | +LL | fn foo(_: T) where X: Send {} + | ^ +help: you might be missing a type parameter + | +LL | fn foo<T>(_: T) where T: Send {} + | ^^^ + +error[E0412]: cannot find type `T` in this scope + --> $DIR/missing-type-parameter2.rs:14:11 + | +LL | struct X<const N: u8>(); + | ------------------------ similarly named struct `X` defined here +... +LL | fn foo(_: T) where T: Send {} + | ^ + | +help: a struct with a similar name exists + | +LL | fn foo(_: X) where T: Send {} + | ^ +help: you might be missing a type parameter + | +LL | fn foo<T>(_: T) where T: Send {} + | ^^^ error[E0412]: cannot find type `A` in this scope - --> $DIR/missing-type-parameter2.rs:14:24 + --> $DIR/missing-type-parameter2.rs:18:24 | LL | struct X<const N: u8>(); | ------------------------ similarly named struct `X` defined here ... -LL | fn bar<const N: u8>(a: A) {} +LL | fn bar<const N: u8>(_: A) {} | ^ | help: a struct with a similar name exists | -LL | fn bar<const N: u8>(a: X) {} +LL | fn bar<const N: u8>(_: X) {} | ^ help: you might be missing a type parameter | -LL | fn bar<const N, A: u8>(a: A) {} - | ^^^ +LL | fn bar<const N: u8, A>(_: A) {} + | ^^^ error[E0747]: unresolved item provided when a constant was expected --> $DIR/missing-type-parameter2.rs:6:8 @@ -79,7 +115,7 @@ help: if this generic argument was intended as a const parameter, surround it wi LL | impl<T, const A: u8 = 2> X<{ N }> {} | ^ ^ -error: aborting due to 6 previous errors +error: aborting due to 8 previous errors Some errors have detailed explanations: E0412, E0747. For more information about an error, try `rustc --explain E0412`. |