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.