diff options
| author | Michael Goulet <michael@errs.io> | 2025-01-28 17:52:28 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-01-28 17:52:28 +0000 |
| commit | 7e68422859f2e6e3514a1af68d0a7ba3629e2553 (patch) | |
| tree | 97203f3bc12a3b71cf92b401e60461d0e9a94b34 /tests/ui/const-generics/generic_const_exprs | |
| parent | fdd1a3b02687817cea41f6bacae3d5fbed2b2cd0 (diff) | |
| download | rust-7e68422859f2e6e3514a1af68d0a7ba3629e2553.tar.gz rust-7e68422859f2e6e3514a1af68d0a7ba3629e2553.zip | |
Properly check that array length is valid type during built-in unsizing in index
Diffstat (limited to 'tests/ui/const-generics/generic_const_exprs')
| -rw-r--r-- | tests/ui/const-generics/generic_const_exprs/type_mismatch.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/ui/const-generics/generic_const_exprs/type_mismatch.stderr b/tests/ui/const-generics/generic_const_exprs/type_mismatch.stderr index e03580ec007..7cb67252da5 100644 --- a/tests/ui/const-generics/generic_const_exprs/type_mismatch.stderr +++ b/tests/ui/const-generics/generic_const_exprs/type_mismatch.stderr @@ -3,6 +3,8 @@ error: the constant `N` is not of type `usize` | LL | impl<const N: u64> Q for [u8; N] {} | ^^^^^^^ expected `usize`, found `u64` + | + = note: the length of array `[u8; N]` must be type `usize` error[E0046]: not all trait items implemented, missing: `ASSOC` --> $DIR/type_mismatch.rs:8:1 |