about summary refs log tree commit diff
path: root/tests/ui/wf
AgeCommit message (Collapse)AuthorLines
2023-12-08temporarily revert "ice on ambguity in mir typeck"Ali MJ Al-Nasrawy-0/+24
Reverts #116530
2023-11-24Show number in error message even for one errorNilstrieb-37/+37
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-10-29On object safety error, mention new enum as alternativeEsteban Küber-0/+12
When we encounter a `dyn Trait` that isn't object safe, look for its implementors. If there's one, mention using it directly If there are less than 9, mention the possibility of creating a new enum and using that instead. Account for object unsafe `impl Trait on dyn Trait {}`. Make a distinction between public and sealed traits. Fix #80194.
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return ↵Oli Scherer-9/+76
`ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types`
2023-10-11Suggest `;` after bare `match` expression E0308Esteban Küber-0/+4
Fix #72634.
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
In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail.
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
Check for body owner fallibly in error reporting Sometimes the "body id" we use for an obligation cause is not actually a body owner, like when we're doing WF checking on items. Fixes #110157
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
Bless tests and show an introduced unsoundness related to exits<'a> { forall<'b> { 'a == 'b } }. We now resolve the var ?a in U0 to the placeholder !b in U1.
2023-02-09Introduce `ReError`Esteban Küber-25/+2
CC #69314
2023-01-30Modify primary span label for E0308Esteban Küber-1/+1
The previous output was unintuitive to users.
2023-01-11Move /src/test to /testsAlbert Larsan-0/+2109