Function rustc_mir_build::thir::pattern::usefulness::compute_match_usefulness

source ·

pub(crate) fn compute_match_usefulness<'p, 'tcx>(
    cx: &MatchCheckCtxt<'p, 'tcx>,
    arms: &[MatchArm<'p, 'tcx>],
    scrut_ty: Ty<'tcx>
) -> UsefulnessReport<'p, 'tcx>

Expand description

The entrypoint for this file. Computes whether a match is exhaustive and which of its arms are reachable.