I had compilation errors in these two modules, but `x.py check` succeeded (discovered when creating https://github.com/rust-lang/rust/pull/79299).
I had compilation errors in these two modules, but
x.py checksucceeded (discovered when creating #79299).