pub fn is_trivially_const_drop(ty: Ty<'_>) -> bool