pub fn func0(return_t: Type) -> Type