Skip to content

Ensure we never consider the null pointer dereferencable#97216

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:null-ptr-check
Jun 1, 2022

Commits

Commits on May 20, 2022