pub(crate) const fn check_well_formed<'tcx>() -> QueryStruct<'tcx>