Skip to content

remove UnevaluatedConstKind::def_id#157374

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:remove-UnevaluatedConstKind-def_id
Jun 8, 2026
Merged

remove UnevaluatedConstKind::def_id#157374
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:remove-UnevaluatedConstKind-def_id

Commits

Commits on Jun 6, 2026