fn sizedness_constraint_for_ty<'tcx>(
tcx: TyCtxt<'tcx>,
sizedness: SizedTraitKind,
ty: Ty<'tcx>,
) -> Option<Ty<'tcx>>
Expand description
If ty
implements the given sizedness
trait, returns None
. Otherwise, returns the type
that must implement the given sizedness
for ty
to implement it.