From: bors Date: Mon, 23 Dec 2019 16:51:55 +0000 (+0000) Subject: Auto merge of #1125 - RalfJung:main-result, r=oli-obk X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=2a08c63631be6e7c03fb01645c51792ec445b1d8;p=rust.git Auto merge of #1125 - RalfJung:main-result, r=oli-obk support main functions with Result return type Turns out we already properly create the substitution to call the libstd start-fn with an appropriate `main`, we just had an overzealous check in the way. Fixes https://github.com/rust-lang/miri/issues/1116. --- 2a08c63631be6e7c03fb01645c51792ec445b1d8