Function rustc_ty_utils::ty::adt_sized_constraint
source · fn adt_sized_constraint(tcx: TyCtxt<'_>, def_id: DefId) -> AdtSizedConstraint<'_>
Expand description
Calculates the Sized
constraint.
In fact, there are only a few options for the types in the constraint: - an obviously-unsized type - a type parameter or projection whose Sizedness can’t be known - a tuple of type parameters or projections, if there are multiple such. - an Error, if a type contained itself. The representability check should catch this case.