Skip to content

improve error message shown for unsafe operations#52207

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:unsafety-errors
Jul 11, 2018
Merged

improve error message shown for unsafe operations#52207
bors merged 2 commits intorust-lang:masterfrom
RalfJung:unsafety-errors

Commits

Commits on Jul 10, 2018

Commits on Jul 11, 2018