11use rustc_middle:: query:: plumbing:: QueryVTable ;
22use rustc_middle:: query:: { AsLocalQueryKey , QueryMode } ;
33use rustc_middle:: ty:: TyCtxt ;
4- use rustc_middle:: { dep_graph, queries} ;
54use rustc_span:: Span ;
65
7- use crate :: { GetQueryVTable , execution , query_impl } ;
6+ use crate :: GetQueryVTable ;
87
98macro_rules! define_queries {
109 (
@@ -35,7 +34,7 @@ macro_rules! define_queries {
3534 // This macro expects to be expanded into `crate::query_impl`, which is this file.
3635 $( pub ( crate ) mod $name {
3736 use super :: * ;
38- use :: rustc_middle:: query:: erase:: { self , Erased } ;
37+ use rustc_middle:: query:: erase:: { self , Erased } ;
3938
4039 // It seems to be important that every query has its own monomorphic
4140 // copy of `execute_query_incr` and `execute_query_non_incr`.
@@ -44,19 +43,20 @@ macro_rules! define_queries {
4443
4544 pub ( crate ) mod execute_query_incr {
4645 use super :: * ;
46+ use rustc_middle:: queries:: $name:: { Key , Value } ;
4747
4848 // Adding `__rust_end_short_backtrace` marker to backtraces so that we emit the frames
4949 // when `RUST_BACKTRACE=1`, add a new mod with `$name` here is to allow duplicate naming
5050 #[ inline( never) ]
5151 pub ( crate ) fn __rust_end_short_backtrace<' tcx>(
5252 tcx: TyCtxt <' tcx>,
5353 span: Span ,
54- key: queries :: $name :: Key <' tcx>,
54+ key: Key <' tcx>,
5555 mode: QueryMode ,
56- ) -> Option <Erased <queries :: $name :: Value <' tcx>>> {
56+ ) -> Option <Erased <Value <' tcx>>> {
5757 #[ cfg( debug_assertions) ]
5858 let _guard = tracing:: span!( tracing:: Level :: TRACE , stringify!( $name) , ?key) . entered( ) ;
59- execution:: execute_query_incr_inner(
59+ crate :: execution:: execute_query_incr_inner(
6060 & tcx. query_system. query_vtables. $name,
6161 tcx,
6262 span,
@@ -68,15 +68,16 @@ macro_rules! define_queries {
6868
6969 pub ( crate ) mod execute_query_non_incr {
7070 use super :: * ;
71+ use rustc_middle:: queries:: $name:: { Key , Value } ;
7172
7273 #[ inline( never) ]
7374 pub ( crate ) fn __rust_end_short_backtrace<' tcx>(
7475 tcx: TyCtxt <' tcx>,
7576 span: Span ,
76- key: queries :: $name :: Key <' tcx>,
77+ key: Key <' tcx>,
7778 __mode: QueryMode ,
78- ) -> Option <Erased <queries :: $name :: Value <' tcx>>> {
79- Some ( execution:: execute_query_non_incr_inner(
79+ ) -> Option <Erased <Value <' tcx>>> {
80+ Some ( crate :: execution:: execute_query_non_incr_inner(
8081 & tcx. query_system. query_vtables. $name,
8182 tcx,
8283 span,
@@ -92,7 +93,7 @@ macro_rules! define_queries {
9293 /// (after demangling) must be `__rust_begin_short_backtrace`.
9394 mod invoke_provider_fn {
9495 use super :: * ;
95- use :: rustc_middle:: queries:: $name:: { Key , Value , provided_to_erased} ;
96+ use rustc_middle:: queries:: $name:: { Key , Value , provided_to_erased} ;
9697
9798 #[ inline( never) ]
9899 pub ( crate ) fn __rust_begin_short_backtrace<' tcx>(
@@ -125,15 +126,17 @@ macro_rules! define_queries {
125126 }
126127
127128 pub ( crate ) fn make_query_vtable<' tcx>( incremental: bool )
128- -> QueryVTable <' tcx, queries:: $name:: Cache <' tcx>>
129+ -> QueryVTable <' tcx, rustc_middle :: queries:: $name:: Cache <' tcx>>
129130 {
131+ use rustc_middle:: queries:: $name:: Value ;
132+
130133 QueryVTable {
131134 name: stringify!( $name) ,
132135 anon: $anon,
133136 eval_always: $eval_always,
134137 depth_limit: $depth_limit,
135138 feedable: $feedable,
136- dep_kind: dep_graph:: DepKind :: $name,
139+ dep_kind: rustc_middle :: dep_graph:: DepKind :: $name,
137140 cycle_error_handling:
138141 rustc_middle:: query:: CycleErrorHandling :: $cycle_error_handling,
139142 state: Default :: default ( ) ,
@@ -149,16 +152,18 @@ macro_rules! define_queries {
149152
150153 #[ cfg( $cache_on_disk) ]
151154 try_load_from_disk_fn: |tcx, key, prev_index, index| {
155+ use rustc_middle:: queries:: $name:: { ProvidedValue , provided_to_erased} ;
156+
152157 // Check the `cache_on_disk_if` condition for this key.
153158 if !rustc_middle:: queries:: _cache_on_disk_if_fns:: $name( tcx, key) {
154159 return None ;
155160 }
156161
157- let value : queries :: $name :: ProvidedValue <' tcx> =
162+ let loaded_value : ProvidedValue <' tcx> =
158163 $crate:: plumbing:: try_load_from_disk( tcx, prev_index, index) ?;
159164
160165 // Arena-alloc the value if appropriate, and erase it.
161- Some ( queries :: $name :: provided_to_erased( tcx, value ) )
166+ Some ( provided_to_erased( tcx, loaded_value ) )
162167 } ,
163168 #[ cfg( not( $cache_on_disk) ) ]
164169 try_load_from_disk_fn: |_tcx, _key, _prev_index, _index| None ,
@@ -178,17 +183,19 @@ macro_rules! define_queries {
178183 #[ cfg( $no_hash) ]
179184 hash_value_fn: None ,
180185 #[ cfg( not( $no_hash) ) ]
181- hash_value_fn: Some ( |hcx, erased_value: & erase:: Erased <queries :: $name :: Value <' tcx>>| {
186+ hash_value_fn: Some ( |hcx, erased_value: & erase:: Erased <Value <' tcx>>| {
182187 let value = erase:: restore_val( * erased_value) ;
183188 rustc_middle:: dep_graph:: hash_result( hcx, & value)
184189 } ) ,
185190
186- format_value: |value| format!( "{:?}" , erase:: restore_val:: <queries:: $name:: Value <' tcx>>( * value) ) ,
191+ format_value: |erased_value: & erase:: Erased <Value <' tcx>>| {
192+ format!( "{:?}" , erase:: restore_val( * erased_value) )
193+ } ,
187194 description_fn: $crate:: queries:: _description_fns:: $name,
188195 execute_query_fn: if incremental {
189- query_impl:: $name:: execute_query_incr:: __rust_end_short_backtrace
196+ crate :: query_impl:: $name:: execute_query_incr:: __rust_end_short_backtrace
190197 } else {
191- query_impl:: $name:: execute_query_non_incr:: __rust_end_short_backtrace
198+ crate :: query_impl:: $name:: execute_query_non_incr:: __rust_end_short_backtrace
192199 } ,
193200 }
194201 }
@@ -206,10 +213,12 @@ macro_rules! define_queries {
206213 }
207214 } ) *
208215
209- pub ( crate ) fn make_query_vtables<' tcx>( incremental: bool ) -> queries:: QueryVTables <' tcx> {
210- queries:: QueryVTables {
216+ pub ( crate ) fn make_query_vtables<' tcx>( incremental: bool )
217+ -> rustc_middle:: queries:: QueryVTables <' tcx>
218+ {
219+ rustc_middle:: queries:: QueryVTables {
211220 $(
212- $name: query_impl:: $name:: make_query_vtable( incremental) ,
221+ $name: crate :: query_impl:: $name:: make_query_vtable( incremental) ,
213222 ) *
214223 }
215224 }
0 commit comments