rust-analyzer subtree update#157599
Merged
Merged
Conversation
Co-authored-by: Florian Diebold <flodiebold@gmail.com>
Example
---
**Before this PR**
```rust
async fn test_async(foo: i32, _: i32) {}
fn main() {
test_async(1, 2)
//^ foo
//^ <ra@gennew>0
```
**After this PR**
```rust
async fn test_async(foo: i32, _: i32) {}
fn main() {
test_async(1, 2)
//^ foo
```
fix: no hint ra@gennew param
…rs" assist I also made some changes to lang items, which turned out not needed but I think they're useful too, maybe in the future or maybe ot outside projects.
fix: Do not fill both `drop()` and `pin_drop()` in the "fill missing members" assist
…ant ID / tuple ID needed) bring back env for projection_ty cleanups
As of writing, this is still rejected by rustc at a later stage.
Example
---
```rust
struct Foo<T, const N: usize>([T; N]);
impl<T, const N: usize> F$0oo<T, N> {
fn spec_len(&self) -> usize {
N
}
}
```
**Before this PR**
```rust
struct Foo<T, const N: usize>([T; N]);
trait SpecLen<T, const N: usize> {
fn spec_len(&self) -> usize;
}
impl<T, const N: usize> SpecLen<T, N> for Foo<T, N> {
fn spec_len(&self) -> usize {
N
}
}
```
**After this PR**
```rust
struct Foo<T, const N: usize>([T; N]);
trait SpecLen {
fn spec_len(&self) -> usize;
}
impl<T, const N: usize> SpecLen for Foo<T, N> {
fn spec_len(&self) -> usize {
N
}
}
```
…here the array length cannot be inferred
…-no-error fix: Do not emit a "type annotations needed" error on `include_bytes!()` where the array length cannot be inferred
…tOne The old code looks like a copy-paste mistake.
Address the FIXMEs in crates/hir-ty/src/lower.rs where next_ty_var, next_const_var, and next_region_var silently returned error types without emitting diagnostics when inference variables are not allowed (e.g., `_` in type aliases, consts, statics, struct fields). - Add InferVarsNotAllowed variant to TyLoweringDiagnostic enum - Call push_diagnostic in the three next_*_var functions for any non-dummy span - Convert TyLoweringDiagnostic from struct+kind to flat enum with per-variant source (TypeRefId for PathDiagnostic, Span for InferVarsNotAllowed) - Add span_syntax helper resolving all Span variants to AST nodes - Extract expr_syntax/pat_syntax/type_syntax/span_syntax closures from inference_diagnostic into associated functions on AnyDiagnostic - Add InferVarsNotAllowed HIR diagnostic struct with InFile<SyntaxNodePtr> node - Add ide-diagnostics handler with E0121 error code and tests
…ct-json fix: RunnableKind::Test should map to project_json::RunnableKind::TestOne
`pat()` does not parse or patterns.
feat(diagnostics): emit error for infer vars in non-inference contexts
fix: Parse OR pattern types
internal: Align MIR ProjectionElem more with rustc's version and simplify it
This is needed so that IDE features can find their anon consts and work with them. We lower them in `field_types()`, which seemed appropriate (we need to know the type for the const, and creating another query doesn't seem worth it). We'll also need them for const eval, but currently default expressions are not handled in MIR.
…s-infer feat: Lower field defaults to `rustc_type_ir::Const`s
…gen-args fix: no generate unused generic params in trait sign
I'm seeing several occurrences of errors of the form: ``` Unable to get `FileSourceRootInput` with `vfs::FileId` (FileId(22452)); this is a bug ``` I suspect it occurs when the user has many projects open, but I can't reliably reproduce yet. In the meantime, include the actual file name to aid debugging. AI disclosure: Partially written with Codex and GPT 5.5.
…essage internal: Improve panic message when FileSourceRootInput is missing
Implement `rust-analyzer/evaluatePredicate` lsp extension
Distribute windows builts with mimalloc
…od()\` fixes rust-lang/rust-analyzer#20162 \`expr_require_exclusive_access\` had no \`IndexExpr\` case, so \`container[i].mut_method()\` fell through to \`Some(false)\`. \`WRITE\` is only set on direct assignments, so method calls through an index were not detected as requiring exclusive access, and the container was extracted as \`&container\` instead of \`&mut container\`.
…index-mut-method fix: \`extract_function\` misses \`&mut\` for \`container[i].mut_method()\`
Parse unnamed enum variants
Update generated lints
minor: Bump `peaceiris/actions-gh-pages`
This updates the rust-version file to 43a4909.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: rust-lang/rust@43a4909 Filtered ref: rust-lang/rust-analyzer@5935dd5 Upstream diff: rust-lang/rust@ba0949a...43a4909 This merge was created using https://github.com/rust-lang/josh-sync.
minor: sync from downstream
This updates the rust-version file to 029c9e1.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: rust-lang/rust@029c9e1 Filtered ref: rust-lang/rust-analyzer@912b3ed Upstream diff: rust-lang/rust@43a4909...029c9e1 This merge was created using https://github.com/rust-lang/josh-sync.
…lqyr Adopt uv's AI policy
Rustc pull update
Collaborator
|
cc @rust-lang/rust-analyzer |
rustbot
added
S-waiting-on-review
Member
Author
|
@bors r+ p=1 |
Contributor
rust-bors
Bot
added
S-waiting-on-bors
rust-bors Bot
pushed a commit
that referenced
this pull request
Jun 8, 2026
…uwer Rollup of 9 pull requests Successful merges: - #157599 (`rust-analyzer` subtree update) - #157298 (Use alternate means of detecting enums in `is_udt`) - #155338 (Staticlib hide internal symbols) - #157402 (Implement feature `integer_casts`) - #157452 (Fix WASI links) - #157535 (Rename `errors.rs` file to `diagnostics.rs` (2/N)) - #157585 (Rename `errors.rs` file to `diagnostics.rs` (3/N)) - #157588 (Use `mul nuw nsw` in `intrinsics::copy`) - #157592 (Suggest comma multiple)
rust-timer
added a commit
that referenced
this pull request
Jun 8, 2026
Rollup merge of #157599 - lnicola:sync-from-ra, r=lnicola `rust-analyzer` subtree update Subtree update of `rust-analyzer` to rust-lang/rust-analyzer@57116fa. Created using https://github.com/rust-lang/josh-sync. r? @ghost
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
10 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Subtree update of
rust-analyzerto rust-lang/rust-analyzer@57116fa.Created using https://github.com/rust-lang/josh-sync.
r? @ghost