about summary refs log tree commit diff
path: root/tests/ui/wf
AgeCommit message (Expand)AuthorLines
2025-09-28reword noteEsteban Küber-2/+2
2025-09-28Point at lifetime requirement origin in more casesEsteban Küber-0/+12
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-2/+12
2025-08-19bless tests with new lint messagesKarol Zwolak-1/+1
2025-08-08update test expectations for boring locals + dropckoutlives interactionsRémy Rakic-5/+48
2025-08-06Fortify generic param default checksLeón Orell Valerian Liehr-2/+2
2025-07-25Check statics' type in type_of.Camille GILLOT-40/+1
2025-07-16future-incompat lints: don't link to the nightly edition-guide versiondianne-2/+2
2025-06-30Avoid looking at HIR for trait and impl itemsOli Scherer-10/+10
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-3/+3
2025-06-13Merge unboxed trait object error suggestion into regular dyn incompat errorOli Scherer-18/+7
2025-06-05Add missing `dyn` keywords to tests that do not test for themLukas Wirth-73/+27
2025-05-27Use more detailed spans in dyn compat errors within bodiesOli Scherer-2/+2
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-25/+26
2025-04-30compiletest: Make diagnostic kind mandatory on line annotationsVadim Petrochenkov-2/+3
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-5/+5
2025-04-06update/bless testsBennet Bleßmann-6/+6
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