about summary refs log tree commit diff
path: root/tests/ui/implied-bounds
AgeCommit message (Collapse)AuthorLines
2023-12-16Make IMPLIED_BOUNDS_ENTAILMENT into a hard error from a lintMichael Goulet-53/+45
2023-12-14update use of feature flagslcnr-1/+1
2023-12-09Rollup merge of #118512 - spastorino:add-implied-bounds-related-tests, ↵Jubilee-8/+202
r=jackh726 Add tests related to normalization in implied bounds Getting ```@aliemjay's``` tests from #109763, so we can better track what's going on in every different example. r? ```@jackh726```
2023-12-08Add Bevy related test casesSantiago Pastorino-0/+97
2023-12-08Add tests related to normalization in implied boundsSantiago Pastorino-8/+105
2023-12-07recurse into refs when comparing tys for diagnosticsjyn-2/+2
2023-11-24Show number in error message even for one errorNilstrieb-8/+8
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-16ignore implied bounds with placeholdersAli MJ Al-Nasrawy-0/+71
2023-11-02Pretty print Fn traits in rustc_on_unimplementedMichael Goulet-4/+4
2023-09-05 unconstrained region vars: do not ICE ICE babylcnr-0/+48
2023-08-20Add projection obligations when comparing impl tooJack Huey-0/+32
2023-08-13Select obligations before processing wf obligation in ↵Michael Goulet-0/+52
compare_method_predicate_entailment
2023-08-11Only check outlives goals on impl compared to traitJack Huey-0/+38
2023-06-05Don't mention IMPLIED_BOUNDS_ENTAILMENT if signatures reference errorMichael Goulet-0/+31
2023-04-22add known-bug test for unsound issue 84591whtahy-0/+39
2023-04-22add known-bug test for unsound issue 25860whtahy-0/+16
2023-04-14implement review suggestionsEzra Shaw-7/+9
2023-04-13fix: skip implied bounds if unconstrained lifetime existsEzra Shaw-0/+36
2023-03-31add test for normalization in implied bounds queryAli MJ Al-Nasrawy-0/+57
See https://github.com/rust-lang/rust/issues/109799.
2023-03-26tolerate region vars in implied boundsAli MJ Al-Nasrawy-0/+24
See https://github.com/rust-lang/rust/issues/109628.
2023-03-26add testAli MJ Al-Nasrawy-0/+58
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-58/+0
This reverts commit e84e5ff04a647ce28540300244a26ba120642eea, reversing changes made to 1716932743a7b3705cbf0c34db0c4e070ed1930d.
2023-03-09add testAli MJ Al-Nasrawy-0/+58
2023-02-21Specify what 'this' actually isMichael Goulet-1/+1
2023-01-15Tweak E0597Esteban Küber-0/+2
CC #99430
2023-01-13Add logic to make IMPLIED_BOUNDS_ENTAILMENT easier to understandMichael Goulet-8/+8
2023-01-12Bump IMPLIED_BOUNDS_ENTAILMENT to Deny + ReportNowMichael Goulet-0/+30
2023-01-11Move /src/test to /testsAlbert Larsan-0/+408