about summary refs log tree commit diff
path: root/tests/ui/implied-bounds
AgeCommit message (Expand)AuthorLines
2024-09-05Adjust testsMichael Goulet-3/+22
2024-09-05Check unnormalized signature on pointer castMichael Goulet-6/+63
2024-08-22Do not rely on names to find lifetimes.Camille GILLOT-2/+2
2024-07-13Auto merge of #127435 - GrigorenkoPV:tests-for-112905, r=cjgillotbors-0/+92
2024-07-10instantiate higher ranked goals in candidate selectionlcnr-37/+15
2024-07-07Add tests for #112905Pavel Grigorenko-0/+92
2024-04-03move leak check out of candidate evaluationlcnr-22/+38
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-3/+10
2024-02-28Opportunistically resolve regions when processing region outlives obligationsMichael Goulet-17/+5
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-31/+31
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-3/+45
2024-01-19use implied bounds compat mode in MIR borrowcklcnr-5/+23
2024-01-17Don't use compat versions of implied bounds in ImpliedOutlivesBounds queryJack Huey-14/+1
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-59/+90
2024-01-16borrowck: wf-check fn item argsAli MJ Al-Nasrawy-5/+65
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, r=jack...Jubilee-8/+202
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
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 compare_method_predicat...Michael Goulet-0/+52
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
2023-03-26tolerate region vars in implied boundsAli MJ Al-Nasrawy-0/+24
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
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
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