Function erg_compiler::ty::constructors::instanceof

source ·
pub fn instanceof(t: Type) -> Constraint