@alexcrichton Actually, looking at the history of that file, looks like this was introduced very recently: https://github.com/mozilla/rust/commit/0df221e993a1f7f1fc4d80c6a4fa0e43c05c30c7 In which case, I'll look into how we can preserve that level of detail.