0d4b51d10d
which just calls non_ty_var on the return type of t, assuming t is a function type.
which just calls non_ty_var on the return type of t, assuming t is a function type.