diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-02-10 21:26:48 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-02-12 09:42:41 +0000 |
| commit | 916951efcc51bb7c225a0dba676c34adef620f1d (patch) | |
| tree | 3ae1d924d6928e84d89335b8e50c53b77036e8b9 /compiler/rustc_middle/src/query/erase.rs | |
| parent | de4d615e6b86f7ef6deacd24610b0678230b8af3 (diff) | |
| download | rust-916951efcc51bb7c225a0dba676c34adef620f1d.tar.gz rust-916951efcc51bb7c225a0dba676c34adef620f1d.zip | |
Make impl_trait_ref into a query also returning more information about the impl
Diffstat (limited to 'compiler/rustc_middle/src/query/erase.rs')
| -rw-r--r-- | compiler/rustc_middle/src/query/erase.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/query/erase.rs b/compiler/rustc_middle/src/query/erase.rs index a272a51f327..e15a051b33f 100644 --- a/compiler/rustc_middle/src/query/erase.rs +++ b/compiler/rustc_middle/src/query/erase.rs @@ -177,8 +177,9 @@ impl EraseType for Option<mir::DestructuredConstant<'_>> { type Result = [u8; size_of::<Option<mir::DestructuredConstant<'static>>>()]; } -impl EraseType for Option<ty::EarlyBinder<ty::TraitRef<'_>>> { - type Result = [u8; size_of::<Option<ty::EarlyBinder<ty::TraitRef<'static>>>>()]; +impl EraseType for Option<(ty::EarlyBinder<ty::TraitRef<'_>>, ty::ImplPolarity)> { + type Result = + [u8; size_of::<Option<(ty::EarlyBinder<ty::TraitRef<'static>>, ty::ImplPolarity)>>()]; } impl EraseType for Option<ty::EarlyBinder<Ty<'_>>> { |