fn non_ptr(t: Ty<'_>) -> Ty<'_>