@@ -204,10 +204,10 @@ macro_rules! define_dep_nodes {
204
204
impl DepNode {
205
205
#[ allow( unreachable_code, non_snake_case) ]
206
206
#[ inline( always) ]
207
- pub fn new<' a, ' gcx , ' tcx>( tcx: TyCtxt <' gcx , ' tcx>,
208
- dep: DepConstructor <' gcx >)
207
+ pub fn new<' a, ' tcx>( tcx: TyCtxt <' tcx>,
208
+ dep: DepConstructor <' tcx >)
209
209
-> DepNode
210
- where ' gcx : ' a + ' tcx ,
210
+ where ' tcx : ' a,
211
211
' tcx: ' a
212
212
{
213
213
match dep {
@@ -307,7 +307,7 @@ macro_rules! define_dep_nodes {
307
307
/// refers to something from the previous compilation session that
308
308
/// has been removed.
309
309
#[ inline]
310
- pub fn extract_def_id( & self , tcx: TyCtxt <' _, ' _ >) -> Option <DefId > {
310
+ pub fn extract_def_id( & self , tcx: TyCtxt <' _>) -> Option <DefId > {
311
311
if self . kind. can_reconstruct_query_key( ) {
312
312
let def_path_hash = DefPathHash ( self . hash) ;
313
313
tcx. def_path_hash_to_def_id. as_ref( ) ?
@@ -400,7 +400,7 @@ impl DefPathHash {
400
400
401
401
impl DefId {
402
402
#[ inline( always) ]
403
- pub fn to_dep_node ( self , tcx : TyCtxt < ' _ , ' _ > , kind : DepKind ) -> DepNode {
403
+ pub fn to_dep_node ( self , tcx : TyCtxt < ' _ > , kind : DepKind ) -> DepNode {
404
404
DepNode :: from_def_path_hash ( kind, tcx. def_path_hash ( self ) )
405
405
}
406
406
}
@@ -442,50 +442,50 @@ rustc_dep_node_append!([define_dep_nodes!][ <'tcx>
442
442
] ) ;
443
443
444
444
pub trait RecoverKey < ' tcx > : Sized {
445
- fn recover ( tcx : TyCtxt < ' tcx , ' tcx > , dep_node : & DepNode ) -> Option < Self > ;
445
+ fn recover ( tcx : TyCtxt < ' tcx > , dep_node : & DepNode ) -> Option < Self > ;
446
446
}
447
447
448
448
impl RecoverKey < ' tcx > for CrateNum {
449
- fn recover ( tcx : TyCtxt < ' tcx , ' tcx > , dep_node : & DepNode ) -> Option < Self > {
449
+ fn recover ( tcx : TyCtxt < ' tcx > , dep_node : & DepNode ) -> Option < Self > {
450
450
dep_node. extract_def_id ( tcx) . map ( |id| id. krate )
451
451
}
452
452
}
453
453
454
454
impl RecoverKey < ' tcx > for DefId {
455
- fn recover ( tcx : TyCtxt < ' tcx , ' tcx > , dep_node : & DepNode ) -> Option < Self > {
455
+ fn recover ( tcx : TyCtxt < ' tcx > , dep_node : & DepNode ) -> Option < Self > {
456
456
dep_node. extract_def_id ( tcx)
457
457
}
458
458
}
459
459
460
460
impl RecoverKey < ' tcx > for DefIndex {
461
- fn recover ( tcx : TyCtxt < ' tcx , ' tcx > , dep_node : & DepNode ) -> Option < Self > {
461
+ fn recover ( tcx : TyCtxt < ' tcx > , dep_node : & DepNode ) -> Option < Self > {
462
462
dep_node. extract_def_id ( tcx) . map ( |id| id. index )
463
463
}
464
464
}
465
465
466
- trait DepNodeParams < ' gcx : ' tcx , ' tcx > : fmt:: Debug {
466
+ trait DepNodeParams < ' tcx > : fmt:: Debug {
467
467
const CAN_RECONSTRUCT_QUERY_KEY : bool ;
468
468
469
469
/// This method turns the parameters of a DepNodeConstructor into an opaque
470
470
/// Fingerprint to be used in DepNode.
471
471
/// Not all DepNodeParams support being turned into a Fingerprint (they
472
472
/// don't need to if the corresponding DepNode is anonymous).
473
- fn to_fingerprint ( & self , _: TyCtxt < ' gcx , ' tcx > ) -> Fingerprint {
473
+ fn to_fingerprint ( & self , _: TyCtxt < ' tcx > ) -> Fingerprint {
474
474
panic ! ( "Not implemented. Accidentally called on anonymous node?" )
475
475
}
476
476
477
- fn to_debug_str ( & self , _: TyCtxt < ' gcx , ' tcx > ) -> String {
477
+ fn to_debug_str ( & self , _: TyCtxt < ' tcx > ) -> String {
478
478
format ! ( "{:?}" , self )
479
479
}
480
480
}
481
481
482
- impl < ' gcx : ' tcx , ' tcx , T > DepNodeParams < ' gcx , ' tcx > for T
482
+ impl < ' tcx , T > DepNodeParams < ' tcx > for T
483
483
where
484
484
T : HashStable < StableHashingContext < ' tcx > > + fmt:: Debug ,
485
485
{
486
486
default const CAN_RECONSTRUCT_QUERY_KEY : bool = false;
487
487
488
- default fn to_fingerprint ( & self , tcx : TyCtxt < ' gcx , ' tcx > ) -> Fingerprint {
488
+ default fn to_fingerprint ( & self , tcx : TyCtxt < ' tcx > ) -> Fingerprint {
489
489
let mut hcx = tcx. create_stable_hashing_context ( ) ;
490
490
let mut hasher = StableHasher :: new ( ) ;
491
491
@@ -494,58 +494,58 @@ where
494
494
hasher. finish ( )
495
495
}
496
496
497
- default fn to_debug_str ( & self , _: TyCtxt < ' gcx , ' tcx > ) -> String {
497
+ default fn to_debug_str ( & self , _: TyCtxt < ' tcx > ) -> String {
498
498
format ! ( "{:?}" , * self )
499
499
}
500
500
}
501
501
502
- impl < ' gcx : ' tcx , ' tcx > DepNodeParams < ' gcx , ' tcx > for DefId {
502
+ impl < ' tcx > DepNodeParams < ' tcx > for DefId {
503
503
const CAN_RECONSTRUCT_QUERY_KEY : bool = true ;
504
504
505
- fn to_fingerprint ( & self , tcx : TyCtxt < ' _ , ' _ > ) -> Fingerprint {
505
+ fn to_fingerprint ( & self , tcx : TyCtxt < ' _ > ) -> Fingerprint {
506
506
tcx. def_path_hash ( * self ) . 0
507
507
}
508
508
509
- fn to_debug_str ( & self , tcx : TyCtxt < ' gcx , ' tcx > ) -> String {
509
+ fn to_debug_str ( & self , tcx : TyCtxt < ' tcx > ) -> String {
510
510
tcx. def_path_str ( * self )
511
511
}
512
512
}
513
513
514
- impl < ' gcx : ' tcx , ' tcx > DepNodeParams < ' gcx , ' tcx > for DefIndex {
514
+ impl < ' tcx > DepNodeParams < ' tcx > for DefIndex {
515
515
const CAN_RECONSTRUCT_QUERY_KEY : bool = true ;
516
516
517
- fn to_fingerprint ( & self , tcx : TyCtxt < ' _ , ' _ > ) -> Fingerprint {
517
+ fn to_fingerprint ( & self , tcx : TyCtxt < ' _ > ) -> Fingerprint {
518
518
tcx. hir ( ) . definitions ( ) . def_path_hash ( * self ) . 0
519
519
}
520
520
521
- fn to_debug_str ( & self , tcx : TyCtxt < ' gcx , ' tcx > ) -> String {
521
+ fn to_debug_str ( & self , tcx : TyCtxt < ' tcx > ) -> String {
522
522
tcx. def_path_str ( DefId :: local ( * self ) )
523
523
}
524
524
}
525
525
526
- impl < ' gcx : ' tcx , ' tcx > DepNodeParams < ' gcx , ' tcx > for CrateNum {
526
+ impl < ' tcx > DepNodeParams < ' tcx > for CrateNum {
527
527
const CAN_RECONSTRUCT_QUERY_KEY : bool = true ;
528
528
529
- fn to_fingerprint ( & self , tcx : TyCtxt < ' _ , ' _ > ) -> Fingerprint {
529
+ fn to_fingerprint ( & self , tcx : TyCtxt < ' _ > ) -> Fingerprint {
530
530
let def_id = DefId {
531
531
krate : * self ,
532
532
index : CRATE_DEF_INDEX ,
533
533
} ;
534
534
tcx. def_path_hash ( def_id) . 0
535
535
}
536
536
537
- fn to_debug_str ( & self , tcx : TyCtxt < ' gcx , ' tcx > ) -> String {
537
+ fn to_debug_str ( & self , tcx : TyCtxt < ' tcx > ) -> String {
538
538
tcx. crate_name ( * self ) . as_str ( ) . to_string ( )
539
539
}
540
540
}
541
541
542
- impl < ' gcx : ' tcx , ' tcx > DepNodeParams < ' gcx , ' tcx > for ( DefId , DefId ) {
542
+ impl < ' tcx > DepNodeParams < ' tcx > for ( DefId , DefId ) {
543
543
const CAN_RECONSTRUCT_QUERY_KEY : bool = false ;
544
544
545
545
// We actually would not need to specialize the implementation of this
546
546
// method but it's faster to combine the hashes than to instantiate a full
547
547
// hashing context and stable-hashing state.
548
- fn to_fingerprint ( & self , tcx : TyCtxt < ' _ , ' _ > ) -> Fingerprint {
548
+ fn to_fingerprint ( & self , tcx : TyCtxt < ' _ > ) -> Fingerprint {
549
549
let ( def_id_0, def_id_1) = * self ;
550
550
551
551
let def_path_hash_0 = tcx. def_path_hash ( def_id_0) ;
@@ -554,7 +554,7 @@ impl<'gcx: 'tcx, 'tcx> DepNodeParams<'gcx, 'tcx> for (DefId, DefId) {
554
554
def_path_hash_0. 0 . combine ( def_path_hash_1. 0 )
555
555
}
556
556
557
- fn to_debug_str ( & self , tcx : TyCtxt < ' gcx , ' tcx > ) -> String {
557
+ fn to_debug_str ( & self , tcx : TyCtxt < ' tcx > ) -> String {
558
558
let ( def_id_0, def_id_1) = * self ;
559
559
560
560
format ! ( "({}, {})" ,
@@ -563,13 +563,13 @@ impl<'gcx: 'tcx, 'tcx> DepNodeParams<'gcx, 'tcx> for (DefId, DefId) {
563
563
}
564
564
}
565
565
566
- impl < ' gcx : ' tcx , ' tcx > DepNodeParams < ' gcx , ' tcx > for HirId {
566
+ impl < ' tcx > DepNodeParams < ' tcx > for HirId {
567
567
const CAN_RECONSTRUCT_QUERY_KEY : bool = false ;
568
568
569
569
// We actually would not need to specialize the implementation of this
570
570
// method but it's faster to combine the hashes than to instantiate a full
571
571
// hashing context and stable-hashing state.
572
- fn to_fingerprint ( & self , tcx : TyCtxt < ' _ , ' _ > ) -> Fingerprint {
572
+ fn to_fingerprint ( & self , tcx : TyCtxt < ' _ > ) -> Fingerprint {
573
573
let HirId {
574
574
owner,
575
575
local_id,
0 commit comments