Skip to content

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

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

Commits

Commits on Jan 15, 2025