@@ -205,7 +205,7 @@ struct Hir2Qmm<'a, 'tcx, 'v> {
205
205
cx : & ' a LateContext < ' tcx > ,
206
206
}
207
207
208
- impl < ' a , ' tcx , ' v > Hir2Qmm < ' a , ' tcx , ' v > {
208
+ impl < ' v > Hir2Qmm < ' _ , ' _ , ' v > {
209
209
fn extract ( & mut self , op : BinOpKind , a : & [ & ' v Expr < ' _ > ] , mut v : Vec < Bool > ) -> Result < Vec < Bool > , String > {
210
210
for a in a {
211
211
if let ExprKind :: Binary ( binop, lhs, rhs) = & a. kind {
@@ -292,7 +292,7 @@ struct SuggestContext<'a, 'tcx, 'v> {
292
292
output : String ,
293
293
}
294
294
295
- impl < ' a , ' tcx , ' v > SuggestContext < ' a , ' tcx , ' v > {
295
+ impl SuggestContext < ' _ , ' _ , ' _ > {
296
296
fn recurse ( & mut self , suggestion : & Bool ) -> Option < ( ) > {
297
297
use quine_mc_cluskey:: Bool :: { And , False , Not , Or , Term , True } ;
298
298
match suggestion {
@@ -475,7 +475,7 @@ fn terminal_stats(b: &Bool) -> Stats {
475
475
stats
476
476
}
477
477
478
- impl < ' a , ' tcx > NonminimalBoolVisitor < ' a , ' tcx > {
478
+ impl < ' tcx > NonminimalBoolVisitor < ' _ , ' tcx > {
479
479
fn bool_expr ( & self , e : & ' tcx Expr < ' _ > ) {
480
480
let mut h2q = Hir2Qmm {
481
481
terminals : Vec :: new ( ) ,
@@ -582,7 +582,7 @@ impl<'a, 'tcx> NonminimalBoolVisitor<'a, 'tcx> {
582
582
}
583
583
}
584
584
585
- impl < ' a , ' tcx > Visitor < ' tcx > for NonminimalBoolVisitor < ' a , ' tcx > {
585
+ impl < ' tcx > Visitor < ' tcx > for NonminimalBoolVisitor < ' _ , ' tcx > {
586
586
fn visit_expr ( & mut self , e : & ' tcx Expr < ' _ > ) {
587
587
if !e. span . from_expansion ( ) {
588
588
match & e. kind {
0 commit comments