about summary refs log tree commit diff
path: root/src/tools/rust-analyzer/crates/hir-ty
AgeCommit message (Collapse)AuthorLines
2025-10-01Auto merge of #147210 - lnicola:sync-from-ra, r=lnicolabors-1230/+1695
`rust-analyzer` subtree update Subtree update of `rust-analyzer` to https://github.com/rust-lang/rust-analyzer/commit/a6bc4a4bbe6a65b71cbf76a0cf528c47a8d9f97f. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`
2025-09-30Add regression test for another (long-standing) bug fixed by the new solverChayim Refael Friedman-1/+23
2025-09-28remove explicit deref of AbiAlign for most methodsJubilee Young-7/+7
Much of the compiler calls functions on Align projected from AbiAlign. AbiAlign impls Deref to its inner Align, so we can simplify these away. Also, it will minimize disruption when AbiAlign is removed. For now, preserve usages that might resolve to PartialOrd or PartialEq, as those have odd inference.
2025-09-28Merge pull request #19867 from Kivooeo/unsafegateLukas Wirth-0/+16
Allow `&raw [mut | const]` for union field
2025-09-25Merge pull request #20738 from jackh726/next-trait-solver-next4Shoyu Vanilla (Flint)-110/+75
Remove non-ns version of impl_self_ty and impl_trait
2025-09-25Merge ref 'caccb4d0368b' from rust-lang/rustThe rustc-josh-sync Cronjob Bot-32/+5
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: caccb4d0368bd918ef6668af8e13834d07040417 Filtered ref: 0f345ed05d559bbfb754f1403b16199366cda2e0 Upstream diff: https://github.com/rust-lang/rust/compare/21a19c297d4f5a03501d92ca251bd7a17073c08a...caccb4d0368bd918ef6668af8e13834d07040417 This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-24Implement fallback properlyChayim Refael Friedman-230/+750
fallback.rs was ported straight from rustc (minus the lint parts). This fixes the `!` regressions.
2025-09-24Merge pull request #20683 from regexident/inference-result-types-iterChayim Refael Friedman-0/+20
Expose iterators over an inference result's types
2025-09-24Switch next-solver related rustc dependencies of r-a to crates.io onesShoyu Vanilla-32/+5
2025-09-24Remove non-ns version of impl_self_ty and impl_traitjackh726-110/+75
2025-09-23Be sure to instantiate and pass up trait refs in ↵Jack Huey-10/+13
named_associated_type_shorthand_candidates
2025-09-23Remove all non-ns diagnostics queries, naming consistenlyJack Huey-145/+81
2025-09-23Use lower_nextsolver::callable_item_signature instead of ↵Jack Huey-121/+109
lower::callable_item_signature
2025-09-23Expose iterators over an inference result's typesVincent Esche-0/+20
(This re-introduces a reduced access to a couple of previously public fields on `InferenceResult`)
2025-09-23Remove lower::value_ty in favor of lower_nextsolver::value_tyJack Huey-129/+46
2025-09-23Remove lower::ty in favor of lower_nextsolver::tyJack Huey-83/+94
2025-09-23Use ParamEnv in TraitEnvironmentJack Huey-164/+199
2025-09-23Add 'db to TraitEnvironmentJack Huey-103/+116
2025-09-23Make Field::ty return TypeNsjackh726-1/+1
2025-09-22Merge pull request #20725 from ChayimFriedman2/fix-missing-lifetimeShoyu Vanilla (Flint)-25/+43
fix: Fix lifetime elision handling for `Fn`-style trait bounds
2025-09-22Merge pull request #20717 from ShoyuVanilla/migrate-moreChayim Refael Friedman-153/+122
internal: Migrate more predicate things to next-solver
2025-09-22internal: Migrate more predicate things to next-solverShoyu Vanilla-153/+122
2025-09-22Fix lifetime elision handling for `Fn`-style trait boundsChayim Refael Friedman-25/+43
Two fixes were needed: 1. Previously, we enabled elision for the generic args of `Fn` itself, instead of for generic args of paths within it. 2. In lowering in the new solver the `Output` parameter did not have elision set correctly, I don't know why. In the old lowering it was done correctly.
2025-09-22Another regression test for next solver fixed bugChayim Refael Friedman-0/+32
2025-09-20allow take union field addresses in safe rustKivooeo-0/+16
2025-09-20Bump rustc crates once moreLaurențiu Nicola-4/+2
2025-09-19Merge pull request #20697 from Oblarg/fix-negative-const-generic-literalsShoyu Vanilla (Flint)-0/+46
fix negative const generic integer literals
2025-09-19address review feedbackOblarg-0/+23
2025-09-19minor: Get rid of unused deps `chalk-solve` and `chalk-recursive`Shoyu Vanilla-12/+0
2025-09-19Set WithCachedTypeInfo::stable_hash when in-treeLaurențiu Nicola-0/+6
2025-09-18fix negative const generic integer literalsOblarg-0/+23
2025-09-19fix: Fix one more thing in `in-rust-tree`Shoyu Vanilla-1/+1
2025-09-18Merge pull request #20694 from ShoyuVanilla/bump-rustcLaurențiu Nicola-19/+32
minor: Yet another rustc crates bump
2025-09-19minor: Yet another rustc crates bumpShoyu Vanilla-19/+32
2025-09-19fix: Fix `indexmap` with `in-rust-tree`Shoyu Vanilla-6/+1
2025-09-18Bump rustc crates againLaurențiu Nicola-27/+20
2025-09-18chore: Update rustc depsShoyu Vanilla-0/+14
2025-09-18Merge pull request #20664 from ChayimFriedman2/coerce-nsChayim Refael Friedman-3912/+9249
fix: Port a bunch of stuff from rustc and fix a bunch of type mismatches/diagnostics
2025-09-17Fix "sync-from-ra" for `rust-lang/rust`Shoyu Vanilla-0/+6
2025-09-16Merge pull request #20517 from Veykril/veykril/push-wrurmtqppzusLukas Wirth-2/+2
fix: Only compute unstable paths on nightly toolchains for IDE features
2025-09-16fix: Only compute unstable paths on nightly toolchains for IDE featuresLukas Wirth-2/+2
2025-09-16fix: More precise clause filtering for `explicit_*_predicates_of`Shoyu Vanilla-6/+20
2025-09-15Port a bunch of stuff from rustc and fix a bunch of type mismatches/diagnosticsChayim Refael Friedman-3912/+9249
This started from porting coercion, but ended with porting much more.
2025-09-15Add Regression Test For The One And The Only Issue #5514Chayim Refael Friedman-0/+34
2025-09-15Add regression tests to some S-blocked-on-new-solver issuesChayim Refael Friedman-0/+126
That were fixed by the migration.
2025-09-14fix: Infinite loop while elaborting predicatesShoyu Vanilla-2/+61
2025-09-11Merge pull request #20642 from ChayimFriedman2/wasm-safeShoyu Vanilla (Flint)-17/+49
fix: Make `#[target_feature]` always safe on WASM
2025-09-10Merge pull request #20649 from ChayimFriedman2/cast-unknownShoyu Vanilla (Flint)-6/+25
fix: Always coerce in a cast, even when there are unknown types
2025-09-10Always coerce in a cast, even when there are unknown typesChayim Refael Friedman-6/+25
This cause the relationships between inference vars to get recorded.
2025-09-10Merge pull request #20645 from ChayimFriedman2/update-rustcShoyu Vanilla (Flint)-300/+424
internal: Upgrade rustc crates
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 19:40:42 +0000