pub(crate) fn adt_sized_constraint<'tcx>() -> DynamicQuery<'tcx, Storage<'tcx>>