about summary refs log tree commit diff
path: root/tests/ui/associated-inherent-types/bugs
AgeCommit message (Expand)AuthorLines
2025-06-17Don't build `ParamEnv` and do trait solving in `ItemCtxt`sBoxy-100/+0
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-16/+2
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-0/+2
2024-12-27Spruce up the docs of several queries related to the type/trait system and co...León Orell Valerian Liehr-2/+2
2024-08-24Get rid of predicates_defined_onMichael Goulet-10/+0
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-4/+7
2024-03-10Mark some next-solver-behavior tests explicitly with revisionsMichael Goulet-4/+15
2024-03-07Merge collect_mod_item_types query into check_well_formedOli Scherer-23/+21
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-4/+4
2023-11-24Show number in error message even for one errorNilstrieb-2/+2
2023-07-18moved note as unspanned note, moved note to the bottom of the msgnxya-10/+2
2023-07-18added links as a notenxya-2/+2
2023-07-18add links to query documentation for E0391nxya-2/+2
2023-07-18added links as a notenxya-2/+12
2023-07-18add links to query documentation for E0391nxya-2/+2
2023-07-03Don't perform selection if IATs are not enabledLeón Orell Valerian Liehr-23/+21
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-72/+127
2023-04-21Leave it to the query system to invoke the typeck query instead of invoking i...Oli Scherer-1/+1
2023-02-19Add a test and several known bugsLeón Orell Valerian Liehr-0/+72
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-28 07:18:02 +0000