Skip to content

AddValidation: handle Call terminators into blocks that have multiple incoming edges#43748

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:mir-validate2
Aug 11, 2017
Merged

AddValidation: handle Call terminators into blocks that have multiple incoming edges#43748
bors merged 1 commit intorust-lang:masterfrom
RalfJung:mir-validate2

Commits

Commits on Aug 9, 2017