fn adt_sized_constraint<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: DefId,
) -> Option<EarlyBinder<'tcx, 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