about summary refs log tree commit diff
path: root/tests/ui/wf
AgeCommit message (Expand)AuthorLines
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
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-9/+76
2023-10-11Suggest `;` after bare `match` expression E0308Esteban Küber-0/+4
2023-10-08remove trailing dotsAli MJ Al-Nasrawy-7/+7
2023-10-08always show and explain sub regionAli MJ Al-Nasrawy-3/+21
2023-10-08improve the suggestion of generic_bound_failureAli MJ Al-Nasrawy-3/+5
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-9/+9
2023-09-10Point out if a local trait has no implementationsMichael Goulet-0/+39
2023-05-12Note base types of coercionMichael Goulet-16/+8
2023-04-22add known-bug test for unsound issue 104005whtahy-0/+37
2023-04-22add known-bug test for unsound issue 100041whtahy-0/+19
2023-04-22add known-bug test for unsound issue 98117whtahy-0/+23
2023-04-13Rollup merge of #110193 - compiler-errors:body-owner-issue, r=WaffleLapkinMatthias Krüger-0/+44
2023-04-12Tweak output for 'add line' suggestionEsteban Küber-2/+4
2023-04-11Check for body owner falliblyMichael Goulet-0/+44
2023-03-05oops! new unsoundnessAli MJ Al-Nasrawy-10/+10
2023-02-09Introduce `ReError`Esteban Küber-25/+2
2023-01-30Modify primary span label for E0308Esteban Küber-1/+1
2023-01-11Move /src/test to /testsAlbert Larsan-0/+2109
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 05:57:08 +0000