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 /compiler/rustc_middle/src/traits/mod.rs | |
| 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 'compiler/rustc_middle/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index 55d78e083e0..8a9110f842a 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -194,6 +194,9 @@ pub enum ObligationCauseCode<'tcx> { /// A slice or array is WF only if `T: Sized`. SliceOrArrayElem, + /// An array `[T; N]` can only be indexed (and is only well-formed if) `N` has type usize. + ArrayLen(Ty<'tcx>), + /// A tuple is WF only if its middle elements are `Sized`. TupleElem, |