Skip to content

rustc source crates do not load any more #20584

@RalfJung

Description

@RalfJung

When working on Miri, RA seems no longer able to load the rustc source crates: none of the symbols defined in rustc crates can be resolved, and the lib.rs file shows errors saying that the extern crate cannot be resolved. This still worked not too long ago; I don't know when exactly it regressed.

Symbols inside Miri resolve just fine. The "r-a language server" logs are empty, and the status bar indicates no error. The "r-a extension" logs don't seem to contain anything unusual, just a lot of this:

2025-09-01 10:13:31.841 [info] Extension version: 0.3.2593
2025-09-01 10:13:31.841 [info] Using configuration {
// lots of JSON here

rust-analyzer version: rust-analyzer version: 0.3.2593-standalone [/home/r/.vscode-oss/extensions/rust-lang.rust-analyzer-0.3.2593-linux-x64/server/rust-analyzer]

rustc version: rustc 1.91.0-nightly (828e45ad1 2025-09-01)

editor or extension: VSCodium, extension version 0.3.2593

relevant settings:

{
    "rust-analyzer.rustc.source": "discover",
    "rust-analyzer.linkedProjects": [
        "Cargo.toml",
        "cargo-miri/Cargo.toml",
        "miri-script/Cargo.toml",
    ],
    "rust-analyzer.check.invocationStrategy": "once",
    "rust-analyzer.check.overrideCommand": [
        "./miri",
        "clippy",
        "--no-default-features",
        "--message-format=json",
    ],
    "rust-analyzer.cargo.extraEnv": {
        "MIRI_AUTO_OPS": "no",
        "MIRI_IN_RA": "1",
    },
    // Contrary to what the name suggests, this also affects proc macros.
    "rust-analyzer.cargo.buildScripts.invocationStrategy": "once",
    "rust-analyzer.cargo.buildScripts.overrideCommand": [
        "./miri",
        "check",
        "--no-default-features",
        "--message-format=json",
    ],
}

repository link (if public, optional): https://github.com/rust-lang/miri/

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions