Skip to content

const_eval: fix some outdated comments#142288

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:const-eval-comments
Jun 10, 2025
Merged

const_eval: fix some outdated comments#142288
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:const-eval-comments

const_eval: fix some outdated comments

6d1db11
Select commit
Loading
Failed to load commit list.
Sign in for the full log view