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