diff options
| author | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2023-03-02 18:33:48 +0000 |
|---|---|---|
| committer | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2023-03-02 18:33:48 +0000 |
| commit | 10a69de5fdc6572e5b4339189c637e5c42f33346 (patch) | |
| tree | 3dd73fc31a8d4a4703a4c96f04a25756e35f26bf /compiler/rustc_const_eval/src/interpret | |
| parent | 7e966bcd03f6d0fae41f58cf80bcb10566ab971a (diff) | |
| download | rust-10a69de5fdc6572e5b4339189c637e5c42f33346.tar.gz rust-10a69de5fdc6572e5b4339189c637e5c42f33346.zip | |
Allow checking whether a type allows being uninitialized
This is useful for clippy and for the future `MaybeUninit::assume_init` panics.
Diffstat (limited to 'compiler/rustc_const_eval/src/interpret')
| -rw-r--r-- | compiler/rustc_const_eval/src/interpret/intrinsics.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/intrinsics.rs b/compiler/rustc_const_eval/src/interpret/intrinsics.rs index c65d677e8ea..63a041b25a9 100644 --- a/compiler/rustc_const_eval/src/interpret/intrinsics.rs +++ b/compiler/rustc_const_eval/src/interpret/intrinsics.rs @@ -444,6 +444,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> { "aborted execution: attempted to leave type `{}` uninitialized, which is invalid", ty ), + ValidityRequirement::Uninit => bug!("assert_uninit_valid doesn't exist"), }; M::abort(self, msg)?; |