@@ -484,7 +484,7 @@ fn check_exhaustive<'p, 'a: 'p, 'tcx: 'a>(
484
484
err. span_label ( sp, format ! ( "`{}` defined here" , scrut_ty) ) ;
485
485
}
486
486
}
487
- let patterns = witnesses. iter ( ) . map ( |p| ( * * p) . clone ( ) ) . collect :: < Vec < Pattern > > ( ) ;
487
+ let patterns = witnesses. iter ( ) . map ( |p| ( * * p) . clone ( ) ) . collect :: < Vec < Pattern < ' _ > > > ( ) ;
488
488
if patterns. len ( ) < 4 {
489
489
for sp in maybe_point_at_variant ( cx, & scrut_ty. sty , patterns. as_slice ( ) ) {
490
490
err. span_label ( sp, "not covered" ) ;
@@ -504,13 +504,13 @@ fn check_exhaustive<'p, 'a: 'p, 'tcx: 'a>(
504
504
fn maybe_point_at_variant (
505
505
cx : & mut MatchCheckCtxt < ' a , ' tcx > ,
506
506
sty : & TyKind < ' tcx > ,
507
- patterns : & [ Pattern ] ,
507
+ patterns : & [ Pattern < ' _ > ] ,
508
508
) -> Vec < Span > {
509
509
let mut covered = vec ! [ ] ;
510
510
if let ty:: Adt ( def, _) = sty {
511
511
// Don't point at the variants if they are too many to avoid visual clutter
512
512
for pattern in patterns {
513
- let pk: & PatternKind = & pattern. kind ;
513
+ let pk: & PatternKind < ' _ > = & pattern. kind ;
514
514
if let PatternKind :: Variant { adt_def, variant_index, subpatterns, .. } = pk {
515
515
if adt_def. did == def. did {
516
516
let sp = def. variants [ * variant_index] . ident . span ;
0 commit comments