Function rustc_mir_build::thir::pattern::check_match::non_exhaustive_match

fn non_exhaustive_match<'p, 'tcx>(
    cx: &MatchCheckCtxt<'p, 'tcx>, 
    scrut_ty: Ty<'tcx>, 
    sp: Span, 
    witnesses: Vec<DeconstructedPat<'p, 'tcx>>, 
    is_empty_match: bool
)

Report that a match is not exhaustive.