Skip to content

mention the extra const UB#1273

Merged
ehuss merged 1 commit intorust-lang:masterfrom
RalfJung:const-ub
Jul 20, 2023
Merged

mention the extra const UB#1273
ehuss merged 1 commit intorust-lang:masterfrom
RalfJung:const-ub

Commits

Commits on Sep 26, 2022