Skip to content

remove Scalar::is_null_ptr#62396

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-no-null
Jul 5, 2019
Merged

remove Scalar::is_null_ptr#62396
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-no-null

Commits

Commits on Jul 5, 2019