Function any_override_referenced 

fn any_override_referenced(
    hir: &Hir<'_>,
    contract_id: ContractId,
    base: &Function<'_>,
    referenced: &HashSet<FunctionId>,
) -> bool

Returns true if any function in contract_id or a derivative shares base’s name and arity and is present in referenced (a call to an override conceptually targets the base’s slot). Match is name + arity only — solar’s HIR TypeKind has no structural equality — so same-arity overloads are conflated, yielding only false negatives.