Skip to content

f*::NAN: guarantee that this is a quiet NaN#139483

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:nan
Apr 18, 2025
Merged

f*::NAN: guarantee that this is a quiet NaN#139483
bors merged 2 commits intorust-lang:masterfrom
RalfJung:nan

Commits

Commits on Apr 7, 2025