-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Couple of cleanups to DiagCtxt and EarlyDiagCtxt #136445
base: master
Are you sure you want to change the base?
Conversation
r? @chenyukang rustbot has assigned @chenyukang. Use |
Some changes occurred in src/tools/clippy cc @rust-lang/clippy The Miri subtree was changed cc @rust-lang/miri |
c066ee3
to
671045b
Compare
Some changes occurred in src/tools/rustfmt cc @rust-lang/rustfmt |
671045b
to
0bdab7e
Compare
This comment has been minimized.
This comment has been minimized.
All callers of EarlyDiagCtxt::early_error now emit a fatal error.
0bdab7e
to
2c6bbcf
Compare
Replacing the error emitter doesn't accidentally clear the error count.
2c6bbcf
to
6a566ee
Compare
The rustc-dev-guide subtree was changed. If this PR only touches the dev guide consider submitting a PR directly to rust-lang/rustc-dev-guide otherwise thank you for updating the dev guide with your changes. |
No description provided.