From: bors <bors@rust-lang.org>
Date: Sun, 10 May 2020 22:12:00 +0000 (+0000)
Subject: Auto merge of #1408 - RalfJung:comments, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c9decd31fe4ee675e13814e7c88f71f93f2a7cf7;p=rust.git

Auto merge of #1408 - RalfJung:comments, r=RalfJung

fix some comments, and run_compiler return type
---

c9decd31fe4ee675e13814e7c88f71f93f2a7cf7