diff options
| author | Oli Scherer <github35764891676564198441@oli-obk.de> | 2021-03-30 14:26:40 +0000 |
|---|---|---|
| committer | Oli Scherer <github35764891676564198441@oli-obk.de> | 2021-03-31 10:40:42 +0000 |
| commit | dbacfbc3681622d634233bcf36504ec898f91818 (patch) | |
| tree | 5320c2401ab3f6f60766e029add981d33cb221a0 /compiler/rustc_middle/src/query/mod.rs | |
| parent | c7c39ce6d07e4d33dc25e07c43f0139c0634b7eb (diff) | |
| download | rust-dbacfbc3681622d634233bcf36504ec898f91818.tar.gz rust-dbacfbc3681622d634233bcf36504ec898f91818.zip | |
Add a new normalization query just for mir constants
Diffstat (limited to 'compiler/rustc_middle/src/query/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs index fbd5af9d0a9..732df8bb6c5 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -1482,6 +1482,13 @@ rustc_queries! { desc { "normalizing `{}`", goal.value } } + /// Do not call this query directly: invoke `normalize_erasing_regions` instead. + query normalize_mir_const_after_erasing_regions( + goal: ParamEnvAnd<'tcx, mir::ConstantKind<'tcx>> + ) -> mir::ConstantKind<'tcx> { + desc { "normalizing `{}`", goal.value } + } + query implied_outlives_bounds( goal: CanonicalTyGoal<'tcx> ) -> Result< |