diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2022-02-16 13:04:48 -0500 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2022-02-16 17:24:23 -0500 |
| commit | 7e80bc3c8d8ab353ae498b10ad91049db5d3dbca (patch) | |
| tree | 3b8a28f7ed46422f655129e3f561939e95bacab8 /src | |
| parent | 06bc64df9213e928bf37c565f9c2f6b09391a384 (diff) | |
| download | rust-7e80bc3c8d8ab353ae498b10ad91049db5d3dbca.tar.gz rust-7e80bc3c8d8ab353ae498b10ad91049db5d3dbca.zip | |
Move ty::print methods to Drop-based scope guards
Diffstat (limited to 'src')
| -rw-r--r-- | src/intrinsics/mod.rs | 36 |
1 files changed, 21 insertions, 15 deletions
diff --git a/src/intrinsics/mod.rs b/src/intrinsics/mod.rs index 55c9b4d9ba1..42717ad0ae0 100644 --- a/src/intrinsics/mod.rs +++ b/src/intrinsics/mod.rs @@ -779,29 +779,35 @@ pub(crate) fn codegen_intrinsic_call<'tcx>( assert_inhabited | assert_zero_valid | assert_uninit_valid, <T> () { let layout = fx.layout_of(T); if layout.abi.is_uninhabited() { - with_no_trimmed_paths(|| crate::base::codegen_panic( - fx, - &format!("attempted to instantiate uninhabited type `{}`", T), - span, - )); + with_no_trimmed_paths!({ + crate::base::codegen_panic( + fx, + &format!("attempted to instantiate uninhabited type `{}`", T), + span, + ) + }); return; } if intrinsic == sym::assert_zero_valid && !layout.might_permit_raw_init(fx, /*zero:*/ true) { - with_no_trimmed_paths(|| crate::base::codegen_panic( - fx, - &format!("attempted to zero-initialize type `{}`, which is invalid", T), - span, - )); + with_no_trimmed_paths!({ + crate::base::codegen_panic( + fx, + &format!("attempted to zero-initialize type `{}`, which is invalid", T), + span, + ); + }); return; } if intrinsic == sym::assert_uninit_valid && !layout.might_permit_raw_init(fx, /*zero:*/ false) { - with_no_trimmed_paths(|| crate::base::codegen_panic( - fx, - &format!("attempted to leave type `{}` uninitialized, which is invalid", T), - span, - )); + with_no_trimmed_paths!({ + crate::base::codegen_panic( + fx, + &format!("attempted to leave type `{}` uninitialized, which is invalid", T), + span, + ) + }); return; } }; |
