fix: Crash when hovering on anonymous consts

Previously, the following code would cause rust-analyzer to infinitely
recurse when hovering on `x`.

    trait Tr<const N: usize> {}
    pub fn f(x: impl Tr<{ 0 }>) {}

Attaching gdb and printing a stack trace shows that the problem is in
HirDisplay for an anonymous const.

    frame 9  hir_ty::display::hir_fmt_generic_arguments () at crates/hir-ty/src/display.rs:1920
    frame 10 0x00005555563b9f94 in hir_ty::display::hir_fmt_generics () at crates/hir-ty/src/display.rs:1843
    frame 11 0x00005555563bd0ea in <hir_ty::next_solver::consts::Const as hir_ty::display::HirDisplay>::hir_fmt () at crates/hir-ty/src/display.rs:768
    frame 12 0x00005555563ba964 in <hir_ty::next_solver::generic_arg::GenericArg as hir_ty::display::HirDisplay>::hir_fmt () at crates/hir-ty/src/display.rs:716
    frame 13 hir_ty::display::hir_fmt_generic_arguments () at crates/hir-ty/src/display.rs:1920

Instead, just render anonymous consts as `{const}` rather than trying
to render the synthetic type parameters too.

(We could track cycles like we do for recursive bounds, but that just
produces a hover of `x: impl Tr<{const}<impl …>> + ?Sized` which
doesn't seem terribly useful.)

AI disclosure: Initial implementation done with Codex and GPT-5.5.
2 files changed
tree: 5c1091c9afa5f1f182fafe20b14ceca133d3c931
  1. .cargo/
  2. .config/
  3. .github/
  4. .vscode/
  5. assets/
  6. bench_data/
  7. crates/
  8. docs/
  9. editors/
  10. lib/
  11. xtask/
  12. .codecov.yml
  13. .editorconfig
  14. .git-blame-ignore-revs
  15. .gitattributes
  16. .gitignore
  17. .typos.toml
  18. AI_POLICY.md
  19. Cargo.lock
  20. Cargo.toml
  21. CLAUDE.md
  22. clippy.toml
  23. CONTRIBUTING.md
  24. josh-sync.toml
  25. LICENSE-APACHE
  26. LICENSE-MIT
  27. PRIVACY.md
  28. README.md
  29. rust-version
  30. rustfmt.toml
  31. triagebot.toml
README.md

rust-analyzer is a language server that provides IDE functionality for writing Rust programs. You can use it with any editor that supports the Language Server Protocol (VS Code, Vim, Emacs, Zed, etc).

rust-analyzer features include go-to-definition, find-all-references, refactorings and code completion. rust-analyzer also supports integrated formatting (with rustfmt) and integrated diagnostics (with rustc and clippy).

Internally, rust-analyzer is structured as a set of libraries for analyzing Rust code. See Architecture in the manual.

codecov

Quick Start

https://rust-analyzer.github.io/book/installation.html

Documentation

If you want to contribute to rust-analyzer check out the CONTRIBUTING.md or if you are just curious about how things work under the hood, see the Contributing section of the manual.

If you want to use rust-analyzer's language server with your editor of choice, check the manual. It also contains some tips & tricks to help you be more productive when using rust-analyzer.

Security and Privacy

See the security and privacy sections of the manual.

Communication

For usage and troubleshooting requests, please use “IDEs and Editors” category of the Rust forum:

https://users.rust-lang.org/c/ide/14

For questions about development and implementation, join rust-analyzer working group on Zulip:

https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Frust-analyzer

Quick Links

License

rust-analyzer is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0).

See LICENSE-APACHE and LICENSE-MIT for details.