This comment should be removed, see https://github.com/mozilla/rust/pull/11338/files