pub fn compute_match_usefulness<'p, Cx: PatCx>(
tycx: &Cx,
arms: &[MatchArm<'p, Cx>],
scrut_ty: Cx::Ty,
scrut_validity: PlaceValidity,
complexity_limit: Option<usize>
) -> Result<UsefulnessReport<'p, Cx>, Cx::Error>
Expand description
Computes whether a match is exhaustive and which of its arms are useful.