diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-17 08:34:26 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-19 04:41:56 +0000 |
| commit | 3594a19f2ae792cf99a1a78a5454e52cfd7affde (patch) | |
| tree | 836a9e53d9b622c9c8ab8917fc27dda931227731 /tests/ui/inference | |
| parent | a183989e88f2154770de1afd860bffb387c4b525 (diff) | |
| download | rust-3594a19f2ae792cf99a1a78a5454e52cfd7affde.tar.gz rust-3594a19f2ae792cf99a1a78a5454e52cfd7affde.zip | |
Taint infcx when reporting errors
Diffstat (limited to 'tests/ui/inference')
| -rw-r--r-- | tests/ui/inference/issue-83606.stderr | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/tests/ui/inference/issue-83606.stderr b/tests/ui/inference/issue-83606.stderr index 8e6ff6d568d..2d74024bb28 100644 --- a/tests/ui/inference/issue-83606.stderr +++ b/tests/ui/inference/issue-83606.stderr @@ -1,9 +1,14 @@ -error[E0282]: type annotations needed for `[usize; _]` +error[E0284]: type annotations needed for `[usize; _]` --> $DIR/issue-83606.rs:8:9 | LL | let _ = foo("foo"); - | ^ + | ^ ---------- type must be known at this point | +note: required by a bound in `foo` + --> $DIR/issue-83606.rs:3:8 + | +LL | fn foo<const N: usize>(_: impl std::fmt::Display) -> [usize; N] { + | ^^^^^^^^^^^^^^ required by this bound in `foo` help: consider giving this pattern a type, where the value of const parameter `N` is specified | LL | let _: [usize; N] = foo("foo"); @@ -11,4 +16,4 @@ LL | let _: [usize; N] = foo("foo"); error: aborting due to 1 previous error -For more information about this error, try `rustc --explain E0282`. +For more information about this error, try `rustc --explain E0284`. |