diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2021-03-18 00:28:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-18 00:28:14 +0100 |
| commit | bcb9226efb86f5e082476f4b6910735bd8522825 (patch) | |
| tree | 603ed37ae7d05ac3340a5a99356c7d21a98685fe /library/std/src/sys/unix/thread.rs | |
| parent | 201893f5aca0e98d66b01ce59e0889c8c4266079 (diff) | |
| parent | e3031fe22ae19965967f4fdf8bf46b017902a06a (diff) | |
| download | rust-bcb9226efb86f5e082476f4b6910735bd8522825.tar.gz rust-bcb9226efb86f5e082476f4b6910735bd8522825.zip | |
Rollup merge of #83216 - jyn514:register-tool, r=petrochenkov
Allow registering tool lints with `register_tool` Previously, there was no way to add a custom tool prefix, even if the tool itself had registered a lint: ```rust #![feature(register_tool)] #![register_tool(xyz)] #![warn(xyz::my_lint)] ``` ``` $ rustc unknown-lint.rs --crate-type lib error[E0710]: an unknown tool name found in scoped lint: `xyz::my_lint` --> unknown-lint.rs:3:9 | 3 | #![warn(xyz::my_lint)] | ^^^ ``` This allows opting-in to lints from other tools using `register_tool`. cc https://github.com/rust-lang/rust/issues/66079#issuecomment-788589193, ``@chorman0773`` r? ``@petrochenkov``
Diffstat (limited to 'library/std/src/sys/unix/thread.rs')
0 files changed, 0 insertions, 0 deletions
