Skip to content

Regression from 0.3.2593 to 0.3.2658; out of range parameter panic (maybe next solver related) #20951

@mathieulj

Description

@mathieulj

rust-analyzer version: (eg. output of "rust-analyzer: Show RA Version" command, accessible in VSCode via Ctrl/⌘+Shift+P)

Panics:

Does not panic:

rustc version: (eg. output of rustc -V)

Broken:

  • 1.93.0-nightly

Working (no panic and type information works):

  • 1.91.0
  • 1.90.0
  • 1.89.0

editor or extension: (eg. VSCode, Vim, Emacs, etc. For VSCode users, specify your extension version; for users of other editors, provide the distribution if applicable)

This reproduces in Zed, Vscode, and by running rust-analyzer directly.

relevant settings: (eg. client settings, or environment variables like CARGO, RUSTC, RUSTUP_HOME or CARGO_HOME)

No env variables set, ~/.cargo/Config.toml not used (does not exist).

repository link (if public, optional): Minimal reproduction https://github.com/mathieulj/rust-analyzer-panic

code snippet to reproduce:

trait DoesSomething {
    fn do_something(&self) -> impl Future<Output = usize>;
}

impl<F> DoesSomething for F
where
    F: AsyncFn() -> usize,
{
    fn do_something(&self) -> impl Future<Output = usize> {
        self()
    }
}
curl -L https://github.com/rust-lang/rust-analyzer/releases/download/2025-08-25/rust-analyzer-aarch64-apple-darwin.gz | gunzip -c - > rust-analyzer
chmod a+x rust-analyzer
# Works as expected
./rust-analyzer analysis-stats .

curl -L https://github.com/rust-lang/rust-analyzer/releases/download/2025-10-27/rust-analyzer-aarch64-apple-darwin.gz | gunzip -c - > rust-analyzer
chmod a+x rust-analyzer
# Panic
./rust-analyzer analysis-stats .

Metadata

Metadata

Assignees

Labels

A-tytype system / type inference / traits / method resolutionC-bugCategory: bugI-panic

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions