about summary refs log tree commit diff
path: root/tests/ui/wf
AgeCommit message (Expand)AuthorLines
2025-03-03Don't typeck during WF, instead check outside of WF in check_crateMichael Goulet-10/+10
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-3/+24
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-233/+0
2025-02-17Update tests for dropck normalization errorsMatthew Jasper-2/+14
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-2/+3
2025-02-04Rename and Move some UI tests to more suitable subdirsDuskyElf-0/+18
2025-02-01Rollup merge of #135900 - compiler-errors:derive-wf, r=lcnrMatthias Krüger-0/+21
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-0/+21
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-11/+11
2025-01-30update commentlcnr-4/+3
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-11/+11
2025-01-22Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnrMatthias Krüger-45/+105
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-53/+68
2025-01-22Don't pick `T: FnPtr` nested goalsBoxy-45/+105
2025-01-17remove unnecessary assertion for reference erroryukang-0/+13
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-17/+17
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-19/+19
2024-12-06Silence follow-up errors from `lit_to_const`Oli Scherer-71/+4
2024-11-23Dont create trait object if it has errors in itMichael Goulet-119/+18
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-16/+2
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-9/+9
2024-10-27Stop using the whole match expr span for an arm's obligation spanMichael Goulet-9/+5
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-22/+22
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-3/+3
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-34/+16
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-24/+24
2024-09-09Fix ICE caused by missing span in a region errorGurinder Singh-0/+59
2024-08-05Enforce supertrait outlives obligations hold when confirming implMichael Goulet-6/+28
2024-07-18Revert "sort suggestions for object diagnostic"Michael Goulet-2/+2
2024-06-05Bless tests and handle tests/crashesBoxy-133/+47
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-16/+23
2024-05-07Auto merge of #124219 - gurry:122989-ice-unexpected-anon-const, r=compiler-er...bors-0/+200
2024-04-25Add testMichael Goulet-0/+31
2024-04-22Do not ICE on `AnonConst`s in `diagnostic_hir_wf_check`Gurinder Singh-0/+200
2024-04-09Silence some follow-up errors on trait impls in case the trait has conflictin...Oli Scherer-33/+2
2024-04-09Add regression testOli Scherer-0/+63
2024-04-04rebaseBoxy-5/+6
2024-04-04check `FnDef` return type for WFlcnr-0/+117
2024-03-23Change an ICE regression test to use the original reproducerGurinder Singh-10/+197
2024-03-22Rollup merge of #122370 - gurry:122199-ice-unexpected-node, r=davidtwcoMatthias Krüger-0/+72
2024-03-20make `type_flags(ReError) & HAS_ERROR`Ali MJ Al-Nasrawy-2/+16
2024-03-19Gracefully handle AnonConst in diagnostic_hir_wf_check()Gurinder Singh-0/+72
2024-03-10Mark some next-solver-behavior tests explicitly with revisionsMichael Goulet-2/+39
2024-03-06Check that return type is WF in typeckGurinder Singh-2/+42
2024-02-19return ty::Error when equating ty::ErrorMichael Goulet-23/+5
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-8/+8
2024-02-15Remove a suggestion that is redundantMichael Goulet-4/+0
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-8/+21
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-2/+2
2024-02-08sort suggestions for object diagnosticMichael Goulet-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-23 11:05:16 +0000