@@ -2033,7 +2033,7 @@ impl SourceScope {
20332033 /// Finds the original HirId this MIR item came from.
20342034 /// This is necessary after MIR optimizations, as otherwise we get a HirId
20352035 /// from the function that was inlined instead of the function call site.
2036- pub fn lint_root (
2036+ pub fn lint_root < ' tcx > (
20372037 self ,
20382038 source_scopes : & IndexVec < SourceScope , SourceScopeData < ' tcx > > ,
20392039 ) -> Option < HirId > {
@@ -2543,7 +2543,7 @@ pub enum ConstantKind<'tcx> {
25432543 Val ( interpret:: ConstValue < ' tcx > , Ty < ' tcx > ) ,
25442544}
25452545
2546- impl Constant < ' tcx > {
2546+ impl < ' tcx > Constant < ' tcx > {
25472547 pub fn check_static_ptr ( & self , tcx : TyCtxt < ' _ > ) -> Option < DefId > {
25482548 match self . literal . const_for_ty ( ) ?. val . try_to_scalar ( ) {
25492549 Some ( Scalar :: Ptr ( ptr, _size) ) => match tcx. global_alloc ( ptr. provenance ) {
@@ -2562,14 +2562,14 @@ impl Constant<'tcx> {
25622562 }
25632563}
25642564
2565- impl From < & ' tcx ty:: Const < ' tcx > > for ConstantKind < ' tcx > {
2565+ impl < ' tcx > From < & ' tcx ty:: Const < ' tcx > > for ConstantKind < ' tcx > {
25662566 #[ inline]
25672567 fn from ( ct : & ' tcx ty:: Const < ' tcx > ) -> Self {
25682568 Self :: Ty ( ct)
25692569 }
25702570}
25712571
2572- impl ConstantKind < ' tcx > {
2572+ impl < ' tcx > ConstantKind < ' tcx > {
25732573 /// Returns `None` if the constant is not trivially safe for use in the type system.
25742574 pub fn const_for_ty ( & self ) -> Option < & ' tcx ty:: Const < ' tcx > > {
25752575 match self {
@@ -2851,7 +2851,7 @@ impl<'tcx> Display for ConstantKind<'tcx> {
28512851 }
28522852}
28532853
2854- fn pretty_print_const (
2854+ fn pretty_print_const < ' tcx > (
28552855 c : & ty:: Const < ' tcx > ,
28562856 fmt : & mut Formatter < ' _ > ,
28572857 print_types : bool ,
@@ -2866,7 +2866,7 @@ fn pretty_print_const(
28662866 } )
28672867}
28682868
2869- fn pretty_print_const_value (
2869+ fn pretty_print_const_value < ' tcx > (
28702870 val : interpret:: ConstValue < ' tcx > ,
28712871 ty : Ty < ' tcx > ,
28722872 fmt : & mut Formatter < ' _ > ,
@@ -2913,12 +2913,12 @@ impl<'a, 'b> graph::GraphSuccessors<'b> for Body<'a> {
29132913 type Iter = iter:: Cloned < Successors < ' b > > ;
29142914}
29152915
2916- impl graph:: GraphPredecessors < ' graph > for Body < ' tcx > {
2916+ impl < ' tcx , ' graph > graph:: GraphPredecessors < ' graph > for Body < ' tcx > {
29172917 type Item = BasicBlock ;
29182918 type Iter = std:: iter:: Copied < std:: slice:: Iter < ' graph , BasicBlock > > ;
29192919}
29202920
2921- impl graph:: WithPredecessors for Body < ' tcx > {
2921+ impl < ' tcx > graph:: WithPredecessors for Body < ' tcx > {
29222922 #[ inline]
29232923 fn predecessors ( & self , node : Self :: Node ) -> <Self as graph:: GraphPredecessors < ' _ > >:: Iter {
29242924 self . predecessors ( ) [ node] . iter ( ) . copied ( )
0 commit comments