Skip to content

Miri: better document and fix dynamic const pattern soundness checks#71655

Merged
bors merged 6 commits intorust-lang:masterfrom RalfJung:const-pattern-soundnessApr 30, 2020
+250-24

Commits

Commits on Apr 28, 2020

Commits on Apr 29, 2020