Function ra_ap_rustc_pattern_analysis::usefulness::compute_match_usefulness

pub fn compute_match_usefulness<'p, Cx: TypeCx>(
    tycx: &Cx,
    arms: &[MatchArm<'p, Cx>],
    scrut_ty: Cx::Ty,
    scrut_validity: ValidityConstraint,
    complexity_limit: Option<usize>
) -> Result<UsefulnessReport<'p, Cx>, Cx::Error>

Computes whether a match is exhaustive and which of its arms are useful.