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