fn is_signature_only(hir: &Hir<'_>, cid: ContractId) -> boolExpand description
True if cid is an “interface-like” abstract contract: signature-only and free of state,
constructors, and modifier bodies. Such contracts mirror the role of interface and are
candidate interfaces for the missing-inheritance check.