jackh726
3ceaf806f6
Add FIXME in named_associated_type_shorthand_candidates
2025-08-17 16:04:50 +00:00
jackh726
33cc8609dc
Add fixme to associated_ty_item_bounds
2025-08-17 16:04:50 +00:00
jackh726
ec26d9f48a
Update fixme
2025-08-17 16:04:50 +00:00
jackh726
cdf51f28f4
Add new_empty_tuple
2025-08-17 16:04:50 +00:00
jackh726
84388ceb0e
Remove a bunch of stuff from chalk_db
2025-08-17 16:04:50 +00:00
jackh726
e979349978
Switch TraitRef in hir::TraitRef to next solver
2025-08-17 16:04:50 +00:00
jackh726
7f0ec8b69f
Replace layout_of_ty with layout_of_ty_ns
2025-08-17 16:04:50 +00:00
jackh726
da6fbda16c
Remove all_super_traits in dyn_compatibility
2025-08-17 16:04:50 +00:00
jackh726
a66ba475bf
Switch generics_require_sized_self to next solver
2025-08-17 16:04:50 +00:00
jackh726
74a9d17920
Convert more of dyn_compatibility to next-solver
2025-08-17 16:04:50 +00:00
jackh726
f9d2d2dd87
Switch associated_type_shorthand_candidates to lower_nextsolver
2025-08-17 16:04:50 +00:00
jackh726
aa890b49ff
Change direct_super_traits to use generic_predicates_for_param_ns
2025-08-17 16:04:50 +00:00
jackh726
17b94c41b1
Convert some of mir/eval to next-solver types
2025-08-17 16:04:50 +00:00
jackh726
9912b803bc
Deduplicate layout_of_adt
2025-08-17 16:04:50 +00:00
jackh726
eeaefa4b9d
impl HirDisplay for next_solver::Ty
2025-08-17 16:04:49 +00:00
jackh726
b2f107cb8b
Convert more of dyn_compatibility to next-solver
2025-08-17 16:02:59 +00:00
jackh726
8228f6f9f7
Convert some of dyn_compatibility to next-solver and remove generic_predicates_without_parent_query
2025-08-17 16:02:59 +00:00
Shoyu Vanilla
15ac6a21dd
fix: Make lang items query properly filter out overwritten/excluded sysroots
2025-08-17 22:28:04 +09:00
jackh726
651ec4b08b
add comment
2025-08-15 05:04:41 +00:00
jackh726
c3cad7d3f4
Add test for webrender-2022 metrics
2025-08-15 05:03:44 +00:00
jackh726
fb53fdc1e4
Shift vars when mapping Dyn
2025-08-13 19:50:15 +00:00
Lukas Wirth
7af2dd9704
Merge pull request #20446 from lcnr/kinda-unhelpful-3
...
next-solver fun time
2025-08-13 10:17:53 +00:00
lcnr
164d42ceab
manually normalize alias
2025-08-13 11:00:00 +02:00
lcnr
425d68fc02
layout_of uses PostAnalysis
2025-08-13 10:57:45 +02:00
lcnr
70ec05eed7
implement type_of_opaque
2025-08-13 10:57:45 +02:00
Lukas Wirth
ac9d0f8049
Merge pull request #20376 from fee1-dead/traitalias
...
Merge Trait and TraitAlias handling
2025-08-13 08:27:54 +00:00
Lukas Wirth
2cc7bb371d
Merge pull request #20445 from rust-lang/veykril/push-twmmuyzwtxno
...
fix: Attach db for inlay hint compute
2025-08-13 08:01:19 +00:00
lcnr
f228c58776
update a few fixmes, and one trivial improvement
2025-08-13 10:01:17 +02:00
Lukas Wirth
90647a195f
fix: Attach db for inlay hint compute
2025-08-13 09:42:50 +02:00
Deadbeef
d9f67325ab
fix errors after rebase
2025-08-13 15:33:08 +08:00
Lukas Wirth
f8ef356226
Print fields of interned IDs in hir-ty instead of just the ID
2025-08-13 09:29:04 +02:00
Deadbeef
9deb3e440e
add test for trait alias projections
2025-08-13 15:28:08 +08:00
Deadbeef
82f174fbd9
Merge Trait and TraitAlias handling
2025-08-13 15:28:08 +08:00
jackh726
9418a3f2df
Implement next trait solver
2025-08-09 16:08:58 +00:00
Chayim Refael Friedman
74ecb1e788
When renaming a parameter to self, change callers to use method call syntax
2025-08-02 21:39:22 +03:00
Lukas Wirth
8ce30264c8
cargo clippy --fix
2025-07-31 10:55:10 +02:00
Lukas Wirth
e57f18480d
Merge pull request #20337 from ChayimFriedman2/double-inlay-hints
...
fix: When displaying a projection into a type parameter that has bounds as `impl Trait`, collect only the bounds of this projection
2025-07-29 11:52:03 +00:00
Chayim Refael Friedman
9b8c5cfb0c
When displaying a projection into a type parameter that has bounds as impl Trait, collect only the bounds of this projection
...
It used to collect the bounds of them all.
2025-07-29 14:40:14 +03:00
Laurențiu Nicola
572a79fd66
Format and bump rustc crates
2025-07-28 20:31:22 +03:00
The rustc-josh-sync Cronjob Bot
5f45867ee6
Merge ref '733dab558992' from rust-lang/rust
...
Pull recent changes from https://github.com/rust-lang/rust via Josh.
Upstream ref: 733dab558992d902d6d17576de1da768094e2cf3
Filtered ref: 8f0faf94fb41d4e2a85ef2d23e5495f6bea1f31d
This merge was created using https://github.com/rust-lang/josh-sync .
2025-07-28 06:31:02 +00:00
Lukas Wirth
afee0710e1
Ignore Destruct bounds again
2025-07-27 22:39:01 +02:00
Oli Scherer
31b88819c7
Remove dead code and extend test coverage and diagnostics around it
...
We lost the following comment during refactorings:
The current code for niche-filling relies on variant indices instead of actual discriminants, so enums with explicit discriminants (RFC 2363) would misbehave.
2025-07-24 10:21:20 +00:00
Shoyu Vanilla
e587367b4d
fix: Apply adjusts to pats and exprs when doing pat analysis
2025-07-22 01:18:48 +09:00
Laurențiu Nicola
0e2e6e7a8a
Format and bump rustc crates
2025-07-15 17:41:08 +03:00
Laurențiu Nicola
f373437c22
Merge from rust-lang/rust
2025-07-15 17:27:46 +03:00
Chayim Refael Friedman
f19c89da36
Infer lifetimes for GATs in expression/pattern position
...
We should not only in type position.
2025-07-15 01:15:33 +03:00
Shoyu Vanilla (Flint)
a489123e80
Merge pull request #20232 from ShoyuVanilla/issue-20225
...
fix: Normalize projection types before calculating memory maps
2025-07-11 19:32:53 +00:00
Shoyu Vanilla
f6e11e8248
Add a memory map bound check assertion on rendering const slice
2025-07-11 23:44:49 +09:00
Chayim Refael Friedman
4b29a9d6ea
Merge pull request #20219 from ChayimFriedman2/expr-store-mem
...
perf: Put the expression stuff in the expression store behind an `Option<Box>`
2025-07-11 14:25:39 +00:00
Shoyu Vanilla
4b2593085d
fix: Normalize projection types before calculating memory maps
2025-07-11 23:10:03 +09:00
