Function match_raised_class 

pub fn match_raised_class(
    cx: &mut Cx,
    raised: &Raised,
    candidate: ClassRef,
    budget: ClassMatchBudget,
    bounded_subclass: impl FnOnce(&mut Cx, &ClassRef, &ClassRef, ClassMatchBudget) -> BoundedSubclassOutcome,
    language_predicate: impl FnMut(&mut Cx, &Raised, &ClassRef) -> Result<bool>,
) -> ClassMatchOutcome

Matches a raised class using bounded subclass evidence and explicit policy.

bounded_subclass is the adapter seam for the owning class organ: it must return its checked, bounded evidence rather than a bare boolean. The language_predicate is invoked only for positive subclass evidence. It may narrow a match for language-specific rules, but cannot widen a negative.