FRTs are Sized

Author: BennoLossin

compiler/rustc_hir_typeck/src/cast.rs

@@ -142,6 +142,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             | ty::CoroutineClosure(..)
             | ty::Coroutine(..)
             | ty::Adt(..)
+            | ty::Field(..)
             | ty::Never
             | ty::Error(_) => {
                 let guar = self

compiler/rustc_middle/src/ty/sty.rs

@@ -1625,6 +1625,7 @@ impl<'tcx> Ty<'tcx> {
             | ty::Uint(_)
             | ty::Float(_)
             | ty::Adt(..)
+            | ty::Field(..)
             | ty::Foreign(_)
             | ty::Str
             | ty::Array(..)
@@ -1683,6 +1684,7 @@ impl<'tcx> Ty<'tcx> {
             // If returned by `struct_tail_raw` this is a unit struct
             // without any fields, or not a struct, and therefore is Sized.
             | ty::Adt(..)
+            | ty::Field(..)
             // If returned by `struct_tail_raw` this is the empty tuple,
             // a.k.a. unit type, which is Sized
             | ty::Tuple(..) => Ok(tcx.types.unit),
@@ -1869,6 +1871,7 @@ impl<'tcx> Ty<'tcx> {
             | ty::Closure(..)
             | ty::CoroutineClosure(..)
             | ty::Never
+            | ty::Field(..)
             | ty::Error(_) => true,
 
             ty::Str | ty::Slice(_) | ty::Dynamic(_, _, ty::Dyn) => match sizedness {

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

@@ -119,6 +119,7 @@ where
         // impl {Meta,}Sized for u*, i*, bool, f*, FnDef, FnPtr, *(const/mut) T, char
         // impl {Meta,}Sized for &mut? T, [T; N], dyn* Trait, !, Coroutine, CoroutineWitness
         // impl {Meta,}Sized for Closure, CoroutineClosure
+        // impl {Meta,}Sized for Field
         ty::Infer(ty::IntVar(_) | ty::FloatVar(_))
         | ty::Uint(_)
         | ty::Int(_)
@@ -135,6 +136,7 @@ where
         | ty::Pat(..)
         | ty::Closure(..)
         | ty::CoroutineClosure(..)
+        | ty::Field(..)
         | ty::Never
         | ty::Error(_) => Ok(ty::Binder::dummy(vec![])),
 

compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs

@@ -660,7 +660,8 @@ where
             | ty::Coroutine(..)
             | ty::CoroutineWitness(..)
             | ty::Never
-            | ty::Foreign(..) => Ty::new_unit(cx),
+            | ty::Foreign(..)
+            | ty::Field(..) => Ty::new_unit(cx),
 
             ty::Error(e) => Ty::new_error(cx, e),
 
@@ -915,6 +916,7 @@ where
             | ty::Never
             | ty::Foreign(..)
             | ty::Adt(_, _)
+            | ty::Field(_, _)
             | ty::Str
             | ty::Slice(_)
             | ty::Dynamic(_, _, _)

compiler/rustc_trait_selection/src/traits/project.rs

@@ -1025,6 +1025,7 @@ fn assemble_candidates_from_impls<'cx, 'tcx>(
                         | ty::Uint(_)
                         | ty::Float(_)
                         | ty::Adt(..)
+                        | ty::Field(..)
                         | ty::Foreign(_)
                         | ty::Str
                         | ty::Array(..)
@@ -1099,6 +1100,8 @@ fn assemble_candidates_from_impls<'cx, 'tcx>(
                             // If returned by `struct_tail` this is a unit struct
                             // without any fields, or not a struct, and therefore is Sized.
                             | ty::Adt(..)
+                            // field traits are always sized
+                            | ty::Field(..)
                             // If returned by `struct_tail` this is the empty tuple.
                             | ty::Tuple(..)
                             // Integers and floats are always Sized, and so have unit type metadata.

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

@@ -1245,6 +1245,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
             | ty::Closure(..)
             | ty::CoroutineClosure(..)
             | ty::Never
+            | ty::Field(..)
             | ty::Error(_) => {
                 candidates.vec.push(SizedCandidate);
             }

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

@@ -2119,6 +2119,7 @@ impl<'tcx> SelectionContext<'_, 'tcx> {
             | ty::Closure(..)
             | ty::CoroutineClosure(..)
             | ty::Never
+            | ty::Field(..)
             | ty::Error(_) => ty::Binder::dummy(vec![]),
 
             ty::Str | ty::Slice(_) | ty::Dynamic(..) => match sizedness {

compiler/rustc_ty_utils/src/ty.rs

@@ -38,6 +38,7 @@ fn sizedness_constraint_for_ty<'tcx>(
         | ty::CoroutineClosure(..)
         | ty::Coroutine(..)
         | ty::CoroutineWitness(..)
+        | ty::Field(..)
         | ty::Never => None,
 
         ty::Str | ty::Slice(..) | ty::Dynamic(_, _, ty::Dyn) => match sizedness {
@@ -370,6 +371,7 @@ fn impl_self_is_guaranteed_unsized<'tcx>(tcx: TyCtxt<'tcx>, impl_def_id: DefId)
         | ty::Uint(_)
         | ty::Float(_)
         | ty::Adt(_, _)
+        | ty::Field(_, _)
         | ty::Foreign(_)
         | ty::Array(_, _)
         | ty::Pat(_, _)

compiler/rustc_type_ir/src/inherent.rs

@@ -177,6 +177,7 @@ pub trait Ty<I: Interner<Ty = Self>>:
             | ty::Uint(_)
             | ty::Float(_)
             | ty::Adt(_, _)
+            | ty::Field(_, _)
             | ty::Foreign(_)
             | ty::Array(_, _)
             | ty::Pat(_, _)