Function erg_compiler::ty::constructors::supertypeof

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