about summary refs log tree commit diff
path: root/tests/ui/implied-bounds
AgeCommit message (Expand)AuthorLines
2025-09-30test bevy compute_implied_bounds hack with new trait solverJana Dönszelmann-2/+4
2025-08-14it's not a borrow checker limitation :<lcnr-2/+2
2025-08-13rework `add_placeholder_from_predicate_note`lcnr-0/+12
2025-06-30Avoid looking at HIR for trait and impl itemsOli Scherer-2/+2
2025-04-30compiletest: Make diagnostic kind mandatory on line annotationsVadim Petrochenkov-11/+13
2025-04-09Auto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgrbors-2/+2
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-7/+7
2025-04-08Rollup merge of #139515 - compiler-errors:sig-mismatch, r=lcnrMatthias Krüger-2/+2
2025-04-08Improve presentation of closure signature mismatch from Fn trait goalMichael Goulet-2/+2
2025-04-07Implement overflow for infinite implied lifetime boundsMichael Goulet-0/+19
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-0/+1
2025-03-04Only use implied bounds hack if bevy, and use deeply normalize in implied bou...Michael Goulet-21/+145
2025-02-20Rollup merge of #137253 - compiler-errors:bevy-hack, r=jackh726Matthias Krüger-0/+2
2025-02-19Restrict bevy hackMichael Goulet-0/+2
2025-02-15fix: Alloc new errorcode E0803 for E0495xizheyin-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-25 18:48:49 +0000