pub fn nil_ty() -> Ty