about summary refs log tree commit diff
path: root/tests/ui/wf
AgeCommit message (Expand)AuthorLines
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
2024-02-07improve pretty printing for trait objectsLukas Markeffsky-6/+6
2024-02-01review comment: change wordingEsteban Küber-2/+2
2024-02-01On E0277 be clearer about implicit `Sized` bounds on type params and assoc typesEsteban Küber-5/+5
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-7/+7
2024-01-16wf-check type annotations before normalizationAli MJ Al-Nasrawy-7/+30
2024-01-16borrowck: use implied bounds from impl headerAli MJ Al-Nasrawy-53/+63
2024-01-16borrowck: wf-check fn item argsAli MJ Al-Nasrawy-37/+0
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-12/+12
2023-12-08temporarily revert "ice on ambguity in mir typeck"Ali MJ Al-Nasrawy-0/+24
2023-11-24Show number in error message even for one errorNilstrieb-37/+37
2023-10-29On object safety error, mention new enum as alternativeEsteban Küber-0/+12
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 01:26:39 +0000