about summary refs log tree commit diff
path: root/tests/ui/implied-bounds
AgeCommit message (Collapse)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
Rollup of 10 pull requests Successful merges: - #139494 (Restrict some queries by def-kind more) - #139496 (Revert r-a changes of rust-lang/rust#139455) - #139506 (add missing word in doc comment (part 2)) - #139515 (Improve presentation of closure signature mismatch from `Fn` trait goal) - #139520 (compiletest maintenance: sort deps and drop dep on `anyhow`) - #139523 (Rustc dev guide subtree update) - #139526 (Fix deprecation note for std::intrinsics) - #139528 (compiletest: Remove the `--logfile` flag) - #139541 (Instantiate higher-ranked transmute goal w/ placeholders before emitting sub-obligations) - #139547 (Update library tracking issue template to set S-tracking-unimplemented) r? `@ghost` `@rustbot` modify labels: rollup
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
Improve presentation of closure signature mismatch from `Fn` trait goal Flip the order of "expected" and "found" since that wasn't correct. Don't present the arguments as a tuple, since it leaves a trailing comma. Instead, just use `fn(arg, arg)`. Finally, be better with binders since we were just skipping binders. r? oli-obk or reassign
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 ↵Michael Goulet-21/+145
bounds hack
2025-02-20Rollup merge of #137253 - compiler-errors:bevy-hack, r=jackh726Matthias Krüger-0/+2
Restrict `bevy_ecs` `ParamSet` hack This limits the bevy WF hack to only apply to ADTs named `ParamSet` that come from crates named `bevy_ecs`, and references to the latter. Previously, we were applying it to all ADTs that contained the substring `"ParamSet"`. This could show up anywhere in the ADT name, and it could come from any crate. It's a bit concerning since other code could theoretically begin to rely on this behavior too (though I don't expect it to) This simplifies the logic a bit and turns it into a visitor. r? `@jackh726`
2025-02-19Restrict bevy hackMichael Goulet-0/+2
2025-02-15fix: Alloc new errorcode E0803 for E0495xizheyin-2/+2
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
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
Add tests for #112905 This is a part of #105107. Adds the tests from the OP in #112905.
2024-07-10instantiate higher ranked goals in candidate selectionlcnr-37/+15
reverts #119820
2024-07-07Add tests for #112905Pavel Grigorenko-0/+92
2024-04-03move leak check out of candidate evaluationlcnr-22/+38
this prevents higher ranked goals from guiding selection
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
Special-case Bevy dependents to not error
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, ↵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.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 11:59:13 +0000