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.