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.