fn infer_custom_type(
gcx: Gcx<'_>,
custom_type: &mut Vec<Symbol>,
contract_id: Option<ContractId>,
) -> Result<Option<DynSolType>>Expand description
Infers a custom type’s true type by recursing through the HIR.
custom_type is a name chain ordered outermost-first (root at back). This is mutated during
resolution. contract_id narrows the search to a specific contract scope.