Skip to content

Allow raw pointers to be undef in Miri mode#56109

Closed
Aaron1011 wants to merge 1 commit intorust-lang:masterfrom
Aaron1011:allow-undef-ptr
Closed

Allow raw pointers to be undef in Miri mode#56109
Aaron1011 wants to merge 1 commit intorust-lang:masterfrom
Aaron1011:allow-undef-ptr

Commits

Commits on Nov 20, 2018