pub fn adt_sized_constraint<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: adt_sized_constraint<'tcx>
) -> Erase<adt_sized_constraint<'tcx>>