diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-19 08:25:58 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-19 14:58:29 +0000 |
| commit | e4c9a8cf9b2e2a17c589dadcaffae0b9e6b62cbc (patch) | |
| tree | f8ca00ac21fad58ca146ade0801f2e42596b6baa /tests/ui/inference | |
| parent | 1cb75dc4a92ef131b2b88bd9faeaa1d39c3d5f4e (diff) | |
| download | rust-e4c9a8cf9b2e2a17c589dadcaffae0b9e6b62cbc.tar.gz rust-e4c9a8cf9b2e2a17c589dadcaffae0b9e6b62cbc.zip | |
Const generic parameters aren't bounds, even if we end up erroring because of the bound that binds the parameter's type
Diffstat (limited to 'tests/ui/inference')
| -rw-r--r-- | tests/ui/inference/issue-83606.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/inference/issue-83606.stderr b/tests/ui/inference/issue-83606.stderr index 2d74024bb28..69d1d71ef3c 100644 --- a/tests/ui/inference/issue-83606.stderr +++ b/tests/ui/inference/issue-83606.stderr @@ -4,11 +4,11 @@ error[E0284]: type annotations needed for `[usize; _]` LL | let _ = foo("foo"); | ^ ---------- type must be known at this point | -note: required by a bound in `foo` +note: required by a const generic parameter 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` + | ^^^^^^^^^^^^^^ required by this const generic parameter in `foo` help: consider giving this pattern a type, where the value of const parameter `N` is specified | LL | let _: [usize; N] = foo("foo"); |