@@ -2033,7 +2033,7 @@ impl SourceScope {
2033
2033
/// Finds the original HirId this MIR item came from.
2034
2034
/// This is necessary after MIR optimizations, as otherwise we get a HirId
2035
2035
/// from the function that was inlined instead of the function call site.
2036
- pub fn lint_root (
2036
+ pub fn lint_root < ' tcx > (
2037
2037
self ,
2038
2038
source_scopes : & IndexVec < SourceScope , SourceScopeData < ' tcx > > ,
2039
2039
) -> Option < HirId > {
@@ -2543,7 +2543,7 @@ pub enum ConstantKind<'tcx> {
2543
2543
Val ( interpret:: ConstValue < ' tcx > , Ty < ' tcx > ) ,
2544
2544
}
2545
2545
2546
- impl Constant < ' tcx > {
2546
+ impl < ' tcx > Constant < ' tcx > {
2547
2547
pub fn check_static_ptr ( & self , tcx : TyCtxt < ' _ > ) -> Option < DefId > {
2548
2548
match self . literal . const_for_ty ( ) ?. val . try_to_scalar ( ) {
2549
2549
Some ( Scalar :: Ptr ( ptr, _size) ) => match tcx. global_alloc ( ptr. provenance ) {
@@ -2562,14 +2562,14 @@ impl Constant<'tcx> {
2562
2562
}
2563
2563
}
2564
2564
2565
- impl From < & ' tcx ty:: Const < ' tcx > > for ConstantKind < ' tcx > {
2565
+ impl < ' tcx > From < & ' tcx ty:: Const < ' tcx > > for ConstantKind < ' tcx > {
2566
2566
#[ inline]
2567
2567
fn from ( ct : & ' tcx ty:: Const < ' tcx > ) -> Self {
2568
2568
Self :: Ty ( ct)
2569
2569
}
2570
2570
}
2571
2571
2572
- impl ConstantKind < ' tcx > {
2572
+ impl < ' tcx > ConstantKind < ' tcx > {
2573
2573
/// Returns `None` if the constant is not trivially safe for use in the type system.
2574
2574
pub fn const_for_ty ( & self ) -> Option < & ' tcx ty:: Const < ' tcx > > {
2575
2575
match self {
@@ -2851,7 +2851,7 @@ impl<'tcx> Display for ConstantKind<'tcx> {
2851
2851
}
2852
2852
}
2853
2853
2854
- fn pretty_print_const (
2854
+ fn pretty_print_const < ' tcx > (
2855
2855
c : & ty:: Const < ' tcx > ,
2856
2856
fmt : & mut Formatter < ' _ > ,
2857
2857
print_types : bool ,
@@ -2866,7 +2866,7 @@ fn pretty_print_const(
2866
2866
} )
2867
2867
}
2868
2868
2869
- fn pretty_print_const_value (
2869
+ fn pretty_print_const_value < ' tcx > (
2870
2870
val : interpret:: ConstValue < ' tcx > ,
2871
2871
ty : Ty < ' tcx > ,
2872
2872
fmt : & mut Formatter < ' _ > ,
@@ -2913,12 +2913,12 @@ impl<'a, 'b> graph::GraphSuccessors<'b> for Body<'a> {
2913
2913
type Iter = iter:: Cloned < Successors < ' b > > ;
2914
2914
}
2915
2915
2916
- impl graph:: GraphPredecessors < ' graph > for Body < ' tcx > {
2916
+ impl < ' tcx , ' graph > graph:: GraphPredecessors < ' graph > for Body < ' tcx > {
2917
2917
type Item = BasicBlock ;
2918
2918
type Iter = std:: iter:: Copied < std:: slice:: Iter < ' graph , BasicBlock > > ;
2919
2919
}
2920
2920
2921
- impl graph:: WithPredecessors for Body < ' tcx > {
2921
+ impl < ' tcx > graph:: WithPredecessors for Body < ' tcx > {
2922
2922
#[ inline]
2923
2923
fn predecessors ( & self , node : Self :: Node ) -> <Self as graph:: GraphPredecessors < ' _ > >:: Iter {
2924
2924
self . predecessors ( ) [ node] . iter ( ) . copied ( )
0 commit comments