1+ use rustc_middle:: query:: erase:: { self , Erased } ;
12use rustc_middle:: query:: plumbing:: QueryVTable ;
23use rustc_middle:: query:: { AsLocalQueryKey , QueryMode } ;
34use rustc_middle:: ty:: TyCtxt ;
4- use rustc_middle:: { dep_graph, queries} ;
55use rustc_span:: Span ;
66
7- use crate :: { GetQueryVTable , execution , query_impl } ;
7+ use crate :: GetQueryVTable ;
88
99macro_rules! define_queries {
1010 (
@@ -36,7 +36,6 @@ macro_rules! define_queries {
3636 $(
3737 pub ( crate ) mod $name {
3838 use super :: * ;
39- use :: rustc_middle:: query:: erase:: { self , Erased } ;
4039
4140 // It seems to be important that every query has its own monomorphic
4241 // copy of `execute_query_incr` and `execute_query_non_incr`.
@@ -45,19 +44,20 @@ macro_rules! define_queries {
4544
4645 pub ( crate ) mod execute_query_incr {
4746 use super :: * ;
47+ use rustc_middle:: queries:: $name:: { Key , Value } ;
4848
4949 // Adding `__rust_end_short_backtrace` marker to backtraces so that we emit the frames
5050 // when `RUST_BACKTRACE=1`, add a new mod with `$name` here is to allow duplicate naming
5151 #[ inline( never) ]
5252 pub ( crate ) fn __rust_end_short_backtrace<' tcx>(
5353 tcx: TyCtxt <' tcx>,
5454 span: Span ,
55- key: queries :: $name :: Key <' tcx>,
55+ key: Key <' tcx>,
5656 mode: QueryMode ,
57- ) -> Option <Erased <queries :: $name :: Value <' tcx>>> {
57+ ) -> Option <Erased <Value <' tcx>>> {
5858 #[ cfg( debug_assertions) ]
5959 let _guard = tracing:: span!( tracing:: Level :: TRACE , stringify!( $name) , ?key) . entered( ) ;
60- execution:: execute_query_incr_inner(
60+ crate :: execution:: execute_query_incr_inner(
6161 & tcx. query_system. query_vtables. $name,
6262 tcx,
6363 span,
@@ -69,15 +69,16 @@ macro_rules! define_queries {
6969
7070 pub ( crate ) mod execute_query_non_incr {
7171 use super :: * ;
72+ use rustc_middle:: queries:: $name:: { Key , Value } ;
7273
7374 #[ inline( never) ]
7475 pub ( crate ) fn __rust_end_short_backtrace<' tcx>(
7576 tcx: TyCtxt <' tcx>,
7677 span: Span ,
77- key: queries :: $name :: Key <' tcx>,
78+ key: Key <' tcx>,
7879 __mode: QueryMode ,
79- ) -> Option <Erased <queries :: $name :: Value <' tcx>>> {
80- Some ( execution:: execute_query_non_incr_inner(
80+ ) -> Option <Erased <Value <' tcx>>> {
81+ Some ( crate :: execution:: execute_query_non_incr_inner(
8182 & tcx. query_system. query_vtables. $name,
8283 tcx,
8384 span,
@@ -93,7 +94,7 @@ macro_rules! define_queries {
9394 /// (after demangling) must be `__rust_begin_short_backtrace`.
9495 mod invoke_provider_fn {
9596 use super :: * ;
96- use :: rustc_middle:: queries:: $name:: { Key , Value , provided_to_erased} ;
97+ use rustc_middle:: queries:: $name:: { Key , Value , provided_to_erased} ;
9798
9899 #[ inline( never) ]
99100 pub ( crate ) fn __rust_begin_short_backtrace<' tcx>(
@@ -126,15 +127,17 @@ macro_rules! define_queries {
126127 }
127128
128129 pub ( crate ) fn make_query_vtable<' tcx>( incremental: bool )
129- -> QueryVTable <' tcx, queries:: $name:: Cache <' tcx>>
130+ -> QueryVTable <' tcx, rustc_middle :: queries:: $name:: Cache <' tcx>>
130131 {
132+ use rustc_middle:: queries:: $name:: Value ;
133+
131134 QueryVTable {
132135 name: stringify!( $name) ,
133136 anon: $anon,
134137 eval_always: $eval_always,
135138 depth_limit: $depth_limit,
136139 feedable: $feedable,
137- dep_kind: dep_graph:: DepKind :: $name,
140+ dep_kind: rustc_middle :: dep_graph:: DepKind :: $name,
138141 cycle_error_handling:
139142 rustc_middle:: query:: CycleErrorHandling :: $cycle_error_handling,
140143 state: Default :: default ( ) ,
@@ -150,16 +153,18 @@ macro_rules! define_queries {
150153
151154 #[ cfg( $cache_on_disk) ]
152155 try_load_from_disk_fn: |tcx, key, prev_index, index| {
156+ use rustc_middle:: queries:: $name:: { ProvidedValue , provided_to_erased} ;
157+
153158 // Check the `cache_on_disk_if` condition for this key.
154159 if !rustc_middle:: queries:: _cache_on_disk_if_fns:: $name( tcx, key) {
155160 return None ;
156161 }
157162
158- let value : queries :: $name :: ProvidedValue <' tcx> =
163+ let loaded_value : ProvidedValue <' tcx> =
159164 $crate:: plumbing:: try_load_from_disk( tcx, prev_index, index) ?;
160165
161166 // Arena-alloc the value if appropriate, and erase it.
162- Some ( queries :: $name :: provided_to_erased( tcx, value ) )
167+ Some ( provided_to_erased( tcx, loaded_value ) )
163168 } ,
164169 #[ cfg( not( $cache_on_disk) ) ]
165170 try_load_from_disk_fn: |_tcx, _key, _prev_index, _index| None ,
@@ -179,17 +184,19 @@ macro_rules! define_queries {
179184 #[ cfg( $no_hash) ]
180185 hash_value_fn: None ,
181186 #[ cfg( not( $no_hash) ) ]
182- hash_value_fn: Some ( |hcx, erased_value: & erase:: Erased <queries :: $name :: Value <' tcx>>| {
187+ hash_value_fn: Some ( |hcx, erased_value: & erase:: Erased <Value <' tcx>>| {
183188 let value = erase:: restore_val( * erased_value) ;
184189 rustc_middle:: dep_graph:: hash_result( hcx, & value)
185190 } ) ,
186191
187- format_value: |value| format!( "{:?}" , erase:: restore_val:: <queries:: $name:: Value <' tcx>>( * value) ) ,
192+ format_value: |erased_value: & erase:: Erased <Value <' tcx>>| {
193+ format!( "{:?}" , erase:: restore_val( * erased_value) )
194+ } ,
188195 description_fn: $crate:: queries:: _description_fns:: $name,
189196 execute_query_fn: if incremental {
190- query_impl:: $name:: execute_query_incr:: __rust_end_short_backtrace
197+ crate :: query_impl:: $name:: execute_query_incr:: __rust_end_short_backtrace
191198 } else {
192- query_impl:: $name:: execute_query_non_incr:: __rust_end_short_backtrace
199+ crate :: query_impl:: $name:: execute_query_non_incr:: __rust_end_short_backtrace
193200 } ,
194201 }
195202 }
@@ -208,10 +215,12 @@ macro_rules! define_queries {
208215 }
209216 ) *
210217
211- pub ( crate ) fn make_query_vtables<' tcx>( incremental: bool ) -> queries:: QueryVTables <' tcx> {
212- queries:: QueryVTables {
218+ pub ( crate ) fn make_query_vtables<' tcx>( incremental: bool )
219+ -> rustc_middle:: queries:: QueryVTables <' tcx>
220+ {
221+ rustc_middle:: queries:: QueryVTables {
213222 $(
214- $name: query_impl:: $name:: make_query_vtable( incremental) ,
223+ $name: crate :: query_impl:: $name:: make_query_vtable( incremental) ,
215224 ) *
216225 }
217226 }
0 commit comments