rust-lang / rust-lang/rust-analyzer

Using a trait as a bound on a on a associated type of a sub-trait causes MEMORY LEAK

Open
#21,950 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Broken Window C-bug
Dominant language
Rust
Stars
16.9k
Forks
2.2k
Avg merge
1d 12h
Merged PRs (30d)
72

Description

rust-analyzer version: 0.3.2845-standalone (f1297b2111 2026-03-29)

rustc version: rustc 1.92.0 (ded5c06cf 2025-12-08)

editor or extension: VSCode for windows 1.114.0

settings: unmodified/default

code snippet to reproduce:

trait SubTrait {
    type SubType;
}

trait SuperTrait: SubTrait<SubType: SuperTrait> {}

Run Rust Analyzer over the included code and watch as it consumes your RAM.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Use the provided Rust trait snippet as the reproduction and run rust-analyzer while monitoring memory usage. Trace how this associated-type bound is processed, then verify that analyzing the snippet no longer causes unbounded memory growth.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
compilers, performance
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Clearly specified
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.