Skip to content

MIR call terminator represents diverging calls too#75788

Merged
bors merged 1 commit intorust-lang:masterfrom
nagisa:mir-call-doccomment
Aug 22, 2020
Merged

MIR call terminator represents diverging calls too#75788
bors merged 1 commit intorust-lang:masterfrom
nagisa:mir-call-doccomment

Commits

Commits on Aug 21, 2020