mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-05 11:47:13 +00:00

It had no callers which didn't immediately call `raise()`, and this unifies the behavior with `Session`.
It had no callers which didn't immediately call `raise()`, and this unifies the behavior with `Session`.