FRTs don't implement Drop

Author: BennoLossin

compiler/rustc_middle/src/ty/significant_drop_order.rs

@@ -128,6 +128,7 @@ pub fn ty_dtor_span<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> Option<Span> {
         | ty::Error(_)
         | ty::Str
         | ty::Never
+        | ty::Field(_, _)
         | ty::RawPtr(_, _)
         | ty::Ref(_, _, _)
         | ty::FnPtr(_, _)

compiler/rustc_middle/src/ty/util.rs

@@ -1262,6 +1262,7 @@ impl<'tcx> Ty<'tcx> {
             | ty::RawPtr(..)
             | ty::FnDef(..)
             | ty::Error(_)
+            | ty::Field(..)
             | ty::FnPtr(..) => true,
             // FIXME(unsafe_binders):
             ty::UnsafeBinder(_) => todo!(),
@@ -1507,6 +1508,7 @@ pub fn needs_drop_components_with_async<'tcx>(
         | ty::FnDef(..)
         | ty::FnPtr(..)
         | ty::Char
+        | ty::Field(..)
         | ty::RawPtr(_, _)
         | ty::Ref(..)
         | ty::Str => Ok(SmallVec::new()),

compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs

@@ -789,6 +789,7 @@ pub(in crate::solve) fn const_conditions_for_destruct<I: Interner>(
         | ty::FnDef(..)
         | ty::FnPtr(..)
         | ty::Never
+        | ty::Field(_, _)
         | ty::Infer(ty::InferTy::FloatVar(_) | ty::InferTy::IntVar(_))
         | ty::Error(_) => Ok(vec![]),
 

compiler/rustc_next_trait_solver/src/solve/trait_goals.rs

@@ -743,6 +743,7 @@ where
                 | ty::Slice(_)
                 | ty::Foreign(..)
                 | ty::Adt(..)
+                | ty::Field(..)
                 | ty::Alias(..)
                 | ty::Param(_)
                 | ty::Placeholder(..)

compiler/rustc_pattern_analysis/src/rustc.rs

@@ -414,6 +414,7 @@ impl<'p, 'tcx: 'p> RustcPatCtxt<'p, 'tcx> {
             | ty::UnsafeBinder(_)
             | ty::Alias(_, _)
             | ty::Param(_)
+            | ty::Field(..)
             | ty::Error(_) => ConstructorSet::Unlistable,
             ty::CoroutineWitness(_, _) | ty::Bound(_, _) | ty::Placeholder(_) | ty::Infer(_) => {
                 bug!("Encountered unexpected type in `ConstructorSet::for_ty`: {ty:?}")

compiler/rustc_trait_selection/src/traits/effects.rs

@@ -366,6 +366,7 @@ fn evaluate_host_effect_for_destruct_goal<'tcx>(
         | ty::FnDef(..)
         | ty::FnPtr(..)
         | ty::Never
+        | ty::Field(_, _)
         | ty::Infer(ty::InferTy::FloatVar(_) | ty::InferTy::IntVar(_))
         | ty::Error(_) => thin_vec![],
 

compiler/rustc_trait_selection/src/traits/query/dropck_outlives.rs

@@ -42,6 +42,7 @@ pub fn trivial_dropck_outlives<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> bool {
         | ty::RawPtr(_, _)
         | ty::Ref(..)
         | ty::Str
+        | ty::Field(..)
         | ty::Foreign(..)
         | ty::Error(_) => true,
 
@@ -278,6 +279,7 @@ pub fn dtorck_constraint_for_ty_inner<'tcx>(
         | ty::Foreign(..)
         | ty::RawPtr(..)
         | ty::Ref(..)
+        | ty::Field(..)
         | ty::FnDef(..)
         | ty::FnPtr(..)
         | ty::CoroutineWitness(..) => {

compiler/rustc_trait_selection/src/traits/select/candidate_assembly.rs

@@ -1403,6 +1403,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
         match obligation.predicate.self_ty().skip_binder().kind() {
             ty::Ref(..)
             | ty::Adt(..)
+            | ty::Field(..)
             | ty::Tuple(_)
             | ty::Array(..)
             | ty::FnDef(..)

compiler/rustc_trait_selection/src/traits/select/confirmation.rs

@@ -1302,6 +1302,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
             | ty::Slice(_)
             | ty::Foreign(..)
             | ty::Adt(..)
+            | ty::Field(..)
             | ty::Alias(..)
             | ty::Param(_)
             | ty::Placeholder(..)

compiler/rustc_ty_utils/src/needs_drop.rs

@@ -293,6 +293,7 @@ where
                     | ty::Tuple(_)
                     | ty::Bound(..)
                     | ty::Never
+                    | ty::Field(..)
                     | ty::Infer(_)
                     | ty::Error(_) => {
                         bug!("unexpected type returned by `needs_drop_components`: {component}")