Skip to content

Figure out why rustdoc crashes with -Znext-solver=globally (undo #1684) #1685

New issue
New issue
Open
Open
Figure out why rustdoc crashes with -Znext-solver=globally (undo #1684)#1685
Labels
cargo-creusotIssue is related to the `cargo-creusot` and more generally the porcelain around creusotdocImprove documentationenhancementNew feature or request
@Lysxia

Description

@Lysxia
Lysxia
opened on Sep 4, 2025

#1684 is a hack to avoid the crash (issue #1683) but it would be nice to know what is going on exactly. If it is a rustc bug maybe it will be magically fixed shortly.

Metadata

Metadata

Assignees

No one assigned

    Labels

    cargo-creusotIssue is related to the `cargo-creusot` and more generally the porcelain around creusotdocImprove documentationenhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions