11use rustc_middle:: queries:: TaggedQueryKey ;
2+ use rustc_middle:: query:: erase:: { self , Erased } ;
23use rustc_middle:: query:: plumbing:: QueryVTable ;
34use rustc_middle:: query:: { AsLocalQueryKey , QueryMode } ;
45use rustc_middle:: ty:: TyCtxt ;
5- use rustc_middle:: { dep_graph, queries} ;
66use rustc_span:: Span ;
77
8- use crate :: { GetQueryVTable , execution , query_impl } ;
8+ use crate :: GetQueryVTable ;
99
1010macro_rules! define_queries {
1111 (
@@ -37,7 +37,6 @@ macro_rules! define_queries {
3737 $(
3838 pub ( crate ) mod $name {
3939 use super :: * ;
40- use :: rustc_middle:: query:: erase:: { self , Erased } ;
4140
4241 // It seems to be important that every query has its own monomorphic
4342 // copy of `execute_query_incr` and `execute_query_non_incr`.
@@ -46,19 +45,20 @@ macro_rules! define_queries {
4645
4746 pub ( crate ) mod execute_query_incr {
4847 use super :: * ;
48+ use rustc_middle:: queries:: $name:: { Key , Value } ;
4949
5050 // Adding `__rust_end_short_backtrace` marker to backtraces so that we emit the frames
5151 // when `RUST_BACKTRACE=1`, add a new mod with `$name` here is to allow duplicate naming
5252 #[ inline( never) ]
5353 pub ( crate ) fn __rust_end_short_backtrace<' tcx>(
5454 tcx: TyCtxt <' tcx>,
5555 span: Span ,
56- key: queries :: $name :: Key <' tcx>,
56+ key: Key <' tcx>,
5757 mode: QueryMode ,
58- ) -> Option <Erased <queries :: $name :: Value <' tcx>>> {
58+ ) -> Option <Erased <Value <' tcx>>> {
5959 #[ cfg( debug_assertions) ]
6060 let _guard = tracing:: span!( tracing:: Level :: TRACE , stringify!( $name) , ?key) . entered( ) ;
61- execution:: execute_query_incr_inner(
61+ crate :: execution:: execute_query_incr_inner(
6262 & tcx. query_system. query_vtables. $name,
6363 tcx,
6464 span,
@@ -70,15 +70,16 @@ macro_rules! define_queries {
7070
7171 pub ( crate ) mod execute_query_non_incr {
7272 use super :: * ;
73+ use rustc_middle:: queries:: $name:: { Key , Value } ;
7374
7475 #[ inline( never) ]
7576 pub ( crate ) fn __rust_end_short_backtrace<' tcx>(
7677 tcx: TyCtxt <' tcx>,
7778 span: Span ,
78- key: queries :: $name :: Key <' tcx>,
79+ key: Key <' tcx>,
7980 __mode: QueryMode ,
80- ) -> Option <Erased <queries :: $name :: Value <' tcx>>> {
81- Some ( execution:: execute_query_non_incr_inner(
81+ ) -> Option <Erased <Value <' tcx>>> {
82+ Some ( crate :: execution:: execute_query_non_incr_inner(
8283 & tcx. query_system. query_vtables. $name,
8384 tcx,
8485 span,
@@ -94,7 +95,7 @@ macro_rules! define_queries {
9495 /// (after demangling) must be `__rust_begin_short_backtrace`.
9596 mod invoke_provider_fn {
9697 use super :: * ;
97- use :: rustc_middle:: queries:: $name:: { Key , Value , provided_to_erased} ;
98+ use rustc_middle:: queries:: $name:: { Key , Value , provided_to_erased} ;
9899
99100 #[ inline( never) ]
100101 pub ( crate ) fn __rust_begin_short_backtrace<' tcx>(
@@ -127,15 +128,17 @@ macro_rules! define_queries {
127128 }
128129
129130 pub ( crate ) fn make_query_vtable<' tcx>( incremental: bool )
130- -> QueryVTable <' tcx, queries:: $name:: Cache <' tcx>>
131+ -> QueryVTable <' tcx, rustc_middle :: queries:: $name:: Cache <' tcx>>
131132 {
133+ use rustc_middle:: queries:: $name:: Value ;
134+
132135 QueryVTable {
133136 name: stringify!( $name) ,
134137 anon: $anon,
135138 eval_always: $eval_always,
136139 depth_limit: $depth_limit,
137140 feedable: $feedable,
138- dep_kind: dep_graph:: DepKind :: $name,
141+ dep_kind: rustc_middle :: dep_graph:: DepKind :: $name,
139142 cycle_error_handling:
140143 rustc_middle:: query:: CycleErrorHandling :: $cycle_error_handling,
141144 state: Default :: default ( ) ,
@@ -151,16 +154,18 @@ macro_rules! define_queries {
151154
152155 #[ cfg( $cache_on_disk) ]
153156 try_load_from_disk_fn: |tcx, key, prev_index, index| {
157+ use rustc_middle:: queries:: $name:: { ProvidedValue , provided_to_erased} ;
158+
154159 // Check the `cache_on_disk_if` condition for this key.
155160 if !rustc_middle:: queries:: _cache_on_disk_if_fns:: $name( tcx, key) {
156161 return None ;
157162 }
158163
159- let value : queries :: $name :: ProvidedValue <' tcx> =
164+ let loaded_value : ProvidedValue <' tcx> =
160165 $crate:: plumbing:: try_load_from_disk( tcx, prev_index, index) ?;
161166
162167 // Arena-alloc the value if appropriate, and erase it.
163- Some ( queries :: $name :: provided_to_erased( tcx, value ) )
168+ Some ( provided_to_erased( tcx, loaded_value ) )
164169 } ,
165170 #[ cfg( not( $cache_on_disk) ) ]
166171 try_load_from_disk_fn: |_tcx, _key, _prev_index, _index| None ,
@@ -180,17 +185,19 @@ macro_rules! define_queries {
180185 #[ cfg( $no_hash) ]
181186 hash_value_fn: None ,
182187 #[ cfg( not( $no_hash) ) ]
183- hash_value_fn: Some ( |hcx, erased_value: & erase:: Erased <queries :: $name :: Value <' tcx>>| {
188+ hash_value_fn: Some ( |hcx, erased_value: & erase:: Erased <Value <' tcx>>| {
184189 let value = erase:: restore_val( * erased_value) ;
185190 rustc_middle:: dep_graph:: hash_result( hcx, & value)
186191 } ) ,
187192
188- format_value: |value| format!( "{:?}" , erase:: restore_val:: <queries:: $name:: Value <' tcx>>( * value) ) ,
193+ format_value: |erased_value: & erase:: Erased <Value <' tcx>>| {
194+ format!( "{:?}" , erase:: restore_val( * erased_value) )
195+ } ,
189196 create_tagged_key: TaggedQueryKey :: $name,
190197 execute_query_fn: if incremental {
191- query_impl:: $name:: execute_query_incr:: __rust_end_short_backtrace
198+ crate :: query_impl:: $name:: execute_query_incr:: __rust_end_short_backtrace
192199 } else {
193- query_impl:: $name:: execute_query_non_incr:: __rust_end_short_backtrace
200+ crate :: query_impl:: $name:: execute_query_non_incr:: __rust_end_short_backtrace
194201 } ,
195202 }
196203 }
@@ -209,10 +216,12 @@ macro_rules! define_queries {
209216 }
210217 ) *
211218
212- pub ( crate ) fn make_query_vtables<' tcx>( incremental: bool ) -> queries:: QueryVTables <' tcx> {
213- queries:: QueryVTables {
219+ pub ( crate ) fn make_query_vtables<' tcx>( incremental: bool )
220+ -> rustc_middle:: queries:: QueryVTables <' tcx>
221+ {
222+ rustc_middle:: queries:: QueryVTables {
214223 $(
215- $name: query_impl:: $name:: make_query_vtable( incremental) ,
224+ $name: crate :: query_impl:: $name:: make_query_vtable( incremental) ,
216225 ) *
217226 }
218227 }
0 commit comments