pub fn ty_contract_id(ty: Ty<'_>) -> Option<ContractId>
The contract a type denotes, through references and type(C).
type(C)