From f8ab649dfd8866e35e3281e04534fe024e4095f7 Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Tue, 19 Jan 2021 20:02:05 +0100 Subject: [PATCH] Introduce query_storage. --- compiler/rustc_middle/src/ty/query/plumbing.rs | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/compiler/rustc_middle/src/ty/query/plumbing.rs b/compiler/rustc_middle/src/ty/query/plumbing.rs index 7a46bad0c1f..dcfc116585b 100644 --- a/compiler/rustc_middle/src/ty/query/plumbing.rs +++ b/compiler/rustc_middle/src/ty/query/plumbing.rs @@ -343,13 +343,16 @@ macro_rules! define_queries { $(pub type $name<$tcx> = $V;)* } #[allow(nonstandard_style, unused_lifetimes)] + pub mod query_storage { + use super::*; + + $(pub type $name<$tcx> = query_storage!([$($modifiers)*][$($K)*, $V]);)* + } + #[allow(nonstandard_style, unused_lifetimes)] pub mod query_stored { use super::*; - $(pub type $name<$tcx> = < - query_storage!([$($modifiers)*][$($K)*, $V]) - as QueryStorage - >::Stored;)* + $(pub type $name<$tcx> = as QueryStorage>::Stored;)* } $(impl<$tcx> QueryConfig for queries::$name<$tcx> { @@ -364,7 +367,7 @@ macro_rules! define_queries { const EVAL_ALWAYS: bool = is_eval_always!([$($modifiers)*]); const DEP_KIND: dep_graph::DepKind = dep_graph::DepKind::$name; - type Cache = query_storage!([$($modifiers)*][$($K)*, $V]); + type Cache = query_storage::$name<$tcx>; #[inline(always)] fn query_state<'a>(tcx: TyCtxt<$tcx>) -> &'a QueryState as QueryContext>::Query, Self::Cache> { @@ -523,7 +526,7 @@ macro_rules! define_queries_struct { $($(#[$attr])* $name: QueryState< crate::dep_graph::DepKind, as QueryContext>::Query, - as QueryAccessors>>::Cache, + query_storage::$name<$tcx>, >,)* }