Function check_handler_constraints 

pub fn check_handler_constraints(
    typed: &TypedCommons,
    consumed_types: &HashMap<String, ConsumedType>,
    local_type_names: &HashSet<String>,
    tys: &Arc<Types>,
) -> Vec<CompileError>

#1700: the same cross-context constraints as check_context_constraints, over the bodies it cannot reach — service and agent handlers, agent invariants and transitions, and provider operations. These are typed by check_context_declarations, after check_context_constraints runs, so this pass runs after that one: the opaque-match rule reads the discriminant’s checked type.