@@ -205,7 +205,7 @@ struct Hir2Qmm<'a, 'tcx, 'v> {
205205    cx :  & ' a  LateContext < ' tcx > , 
206206} 
207207
208- impl < ' a ,   ' tcx ,   ' v >  Hir2Qmm < ' a ,  ' tcx ,  ' v >  { 
208+ impl < ' v >  Hir2Qmm < ' _ ,  ' _ ,  ' v >  { 
209209    fn  extract ( & mut  self ,  op :  BinOpKind ,  a :  & [ & ' v  Expr < ' _ > ] ,  mut  v :  Vec < Bool > )  -> Result < Vec < Bool > ,  String >  { 
210210        for  a in  a { 
211211            if  let  ExprKind :: Binary ( binop,  lhs,  rhs)  = & a. kind  { 
@@ -292,7 +292,7 @@ struct SuggestContext<'a, 'tcx, 'v> {
292292    output :  String , 
293293} 
294294
295- impl < ' a ,   ' tcx ,   ' v >   SuggestContext < ' a ,  ' tcx ,  ' v >  { 
295+ impl   SuggestContext < ' _ ,  ' _ ,  ' _ >  { 
296296    fn  recurse ( & mut  self ,  suggestion :  & Bool )  -> Option < ( ) >  { 
297297        use  quine_mc_cluskey:: Bool :: { And ,  False ,  Not ,  Or ,  Term ,  True } ; 
298298        match  suggestion { 
@@ -475,7 +475,7 @@ fn terminal_stats(b: &Bool) -> Stats {
475475    stats
476476} 
477477
478- impl < ' a ,   ' tcx >  NonminimalBoolVisitor < ' a ,  ' tcx >  { 
478+ impl < ' tcx >  NonminimalBoolVisitor < ' _ ,  ' tcx >  { 
479479    fn  bool_expr ( & self ,  e :  & ' tcx  Expr < ' _ > )  { 
480480        let  mut  h2q = Hir2Qmm  { 
481481            terminals :  Vec :: new ( ) , 
@@ -582,7 +582,7 @@ impl<'a, 'tcx> NonminimalBoolVisitor<'a, 'tcx> {
582582    } 
583583} 
584584
585- impl < ' a ,   ' tcx >  Visitor < ' tcx >  for  NonminimalBoolVisitor < ' a ,  ' tcx >  { 
585+ impl < ' tcx >  Visitor < ' tcx >  for  NonminimalBoolVisitor < ' _ ,  ' tcx >  { 
586586    fn  visit_expr ( & mut  self ,  e :  & ' tcx  Expr < ' _ > )  { 
587587        if  !e. span . from_expansion ( )  { 
588588            match  & e. kind  { 
0 commit comments