rustc_mir_build::thir::pattern::check_match

Function report_non_exhaustive_match

Source 
fn report_non_exhaustive_match<'p, 'tcx>(
    cx: &RustcPatCtxt<'p, 'tcx>,
    thir: &Thir<'tcx>,
    scrut_ty: Ty<'tcx>,
    sp: Span,
    witnesses: Vec<WitnessPat<'p, 'tcx>>,
    arms: &[ArmId],
    braces_span: Option<Span>,
) -> ErrorGuaranteed
Expand description

Report that a match is not exhaustive.