summaryrefslogtreecommitdiff
path: root/tests/ui/implied-bounds
Commit message (Expand)AuthorAgeFilesLines
* add known-bug test for unsound issue 84591whtahy2023-04-221-0/+39
* add known-bug test for unsound issue 25860whtahy2023-04-221-0/+16
* implement review suggestionsEzra Shaw2023-04-142-7/+9
* fix: skip implied bounds if unconstrained lifetime existsEzra Shaw2023-04-132-0/+36
* add test for normalization in implied bounds queryAli MJ Al-Nasrawy2023-03-312-0/+57
* tolerate region vars in implied boundsAli MJ Al-Nasrawy2023-03-261-0/+24
* add testAli MJ Al-Nasrawy2023-03-261-0/+58
* Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic2023-03-151-58/+0
* add testAli MJ Al-Nasrawy2023-03-091-0/+58
* Specify what 'this' actually isMichael Goulet2023-02-211-1/+1
* Tweak E0597Esteban Küber2023-01-151-0/+2
* Add logic to make IMPLIED_BOUNDS_ENTAILMENT easier to understandMichael Goulet2023-01-132-8/+8
* Bump IMPLIED_BOUNDS_ENTAILMENT to Deny + ReportNowMichael Goulet2023-01-122-0/+30
* Move /src/test to /testsAlbert Larsan2023-01-1114-0/+408
View Lorry Controller Status