about summary refs log tree commit diff
path: root/tests/ui/traits/inductive-overflow
AgeCommit message (Collapse)AuthorLines
2023-11-24Show number in error message even for one errorNilstrieb-3/+3
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-08-28Revert "Suggest using `Arc` on `!Send`/`!Sync` types"David Tolnay-1/+0
This reverts commit 9de1a472b68ed85f396b2e2cc79c3ef17584d6e1.
2023-08-09Suggest using `Arc` on `!Send`/`!Sync` typesEsteban Kuber-0/+1
2023-04-12Tweak output for 'add line' suggestionEsteban Küber-1/+2
2023-03-05oops! new unsoundnessAli MJ Al-Nasrawy-13/+7
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-25Complete migrating `ast_passes` to derive diagnosticsclubby789-1/+1
2023-01-11Note predicate span on ImplDerivedObligationMichael Goulet-5/+12
2023-01-11Move /src/test to /testsAlbert Larsan-0/+236