[mir-opt] asking ?s in a more optimized fashion#66282
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 22, 2019
Merged
[mir-opt] asking `?`s in a more optimized fashion#66282bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
