Skip to content

assume_init: warn about valid != safe#63298

Merged
bors merged 3 commits intorust-lang:masterfrom
RalfJung:assume_init
Aug 6, 2019

Commits

Commits on Aug 5, 2019

Commits on Aug 6, 2019