From: bors Date: Tue, 21 Apr 2020 01:26:56 +0000 (+0000) Subject: Auto merge of #71367 - Dylan-DPC:rollup-ysj4olr, r=Dylan-DPC X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=073744f554cf170942aa43893f292199ad44e3d4;p=rust.git Auto merge of #71367 - Dylan-DPC:rollup-ysj4olr, r=Dylan-DPC Rollup of 4 pull requests Successful merges: - #69362 (Stabilize most common subset of alloc_layout_extras) - #71174 (Check that main/start is not async) - #71285 (MIR: use HirId instead of NodeId to avoid cycles while inlining) - #71346 (Do not build tools if user do not want them) Failed merges: r? @ghost --- 073744f554cf170942aa43893f292199ad44e3d4