Function rustc_mir_build::thir::pattern::check_match::check_exhaustive

fn check_exhaustive<'p, 'tcx>(
    cx: &mut MatchCheckCtxt<'p, 'tcx>, 
    scrut_ty: Ty<'tcx>, 
    sp: Span, 
    matrix: &Matrix<'p, 'tcx>, 
    hir_id: HirId, 
    is_empty_match: bool
)