about summary refs log tree commit diff
path: root/tests/ui/wf
AgeCommit message (Collapse)AuthorLines
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