Skip to content

Mark block exits as reachable if the block can break.#45316

Merged
bors merged 1 commit intorust-lang:masterfrom
goffrie:exitable-breakable-block
Oct 20, 2017

Commits

Commits on Oct 16, 2017