pub fn ty_to_string(ty: &Ty<'_>) -> String