diff options
| author | Michael Goulet <michael@errs.io> | 2024-09-23 18:07:42 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-09-24 10:12:05 -0400 |
| commit | cfb8419900c1511b09320d70105128ce13de6e71 (patch) | |
| tree | 18639f6acb0e7039aea584d3d77bde7e2c7cfa68 /compiler/rustc_middle/src/query/erase.rs | |
| parent | 11e760b7f4e4aaa11bf51a64d4bb7f1171f6e466 (diff) | |
| download | rust-cfb8419900c1511b09320d70105128ce13de6e71.tar.gz rust-cfb8419900c1511b09320d70105128ce13de6e71.zip | |
Separate collection of crate-local inherent impls from error reporting
Diffstat (limited to 'compiler/rustc_middle/src/query/erase.rs')
| -rw-r--r-- | compiler/rustc_middle/src/query/erase.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/query/erase.rs b/compiler/rustc_middle/src/query/erase.rs index bd20e6aa005..48bf4ffced0 100644 --- a/compiler/rustc_middle/src/query/erase.rs +++ b/compiler/rustc_middle/src/query/erase.rs @@ -1,6 +1,8 @@ use std::intrinsics::transmute_unchecked; use std::mem::MaybeUninit; +use rustc_span::ErrorGuaranteed; + use crate::query::CyclePlaceholder; use crate::ty::adjustment::CoerceUnsizedInfo; use crate::ty::{self, Ty}; @@ -216,6 +218,10 @@ impl<T0, T1> EraseType for (&'_ T0, &'_ [T1]) { type Result = [u8; size_of::<(&'static (), &'static [()])>()]; } +impl<T0> EraseType for (&'_ T0, Result<(), ErrorGuaranteed>) { + type Result = [u8; size_of::<(&'static (), Result<(), ErrorGuaranteed>)>()]; +} + macro_rules! trivial { ($($ty:ty),+ $(,)?) => { $( |