Skip to content

const traits: remove some known-bug that do not seem to make sense#135523

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:wrong-known-bug
Jan 16, 2025
Merged

const traits: remove some known-bug that do not seem to make sense#135523
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:wrong-known-bug

fix known-bug link in normalize-tait-in-const

0922c19
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs