Function erg_compiler::ty::constructors::supertypeof

source ·
pub fn supertypeof(sub: Type) -> Constraint