@@ -484,7 +484,7 @@ fn check_exhaustive<'p, 'a: 'p, 'tcx: 'a>(
484484 err. span_label ( sp, format ! ( "`{}` defined here" , scrut_ty) ) ;
485485 }
486486 }
487- let patterns = witnesses. iter ( ) . map ( |p| ( * * p) . clone ( ) ) . collect :: < Vec < Pattern > > ( ) ;
487+ let patterns = witnesses. iter ( ) . map ( |p| ( * * p) . clone ( ) ) . collect :: < Vec < Pattern < ' _ > > > ( ) ;
488488 if patterns. len ( ) < 4 {
489489 for sp in maybe_point_at_variant ( cx, & scrut_ty. sty , patterns. as_slice ( ) ) {
490490 err. span_label ( sp, "not covered" ) ;
@@ -504,13 +504,13 @@ fn check_exhaustive<'p, 'a: 'p, 'tcx: 'a>(
504504fn maybe_point_at_variant (
505505 cx : & mut MatchCheckCtxt < ' a , ' tcx > ,
506506 sty : & TyKind < ' tcx > ,
507- patterns : & [ Pattern ] ,
507+ patterns : & [ Pattern < ' _ > ] ,
508508) -> Vec < Span > {
509509 let mut covered = vec ! [ ] ;
510510 if let ty:: Adt ( def, _) = sty {
511511 // Don't point at the variants if they are too many to avoid visual clutter
512512 for pattern in patterns {
513- let pk: & PatternKind = & pattern. kind ;
513+ let pk: & PatternKind < ' _ > = & pattern. kind ;
514514 if let PatternKind :: Variant { adt_def, variant_index, subpatterns, .. } = pk {
515515 if adt_def. did == def. did {
516516 let sp = def. variants [ * variant_index] . ident . span ;
0 commit comments