Function rustc_ty_utils::ty::adt_sized_constraint
source · fn adt_sized_constraint<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: DefId
) -> EarlyBinder<&'tcx List<Ty<'tcx>>>
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 is infinitely sized