diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2021-03-16 17:33:03 -0400 |
|---|---|---|
| committer | Joshua Nelson <jyn514@gmail.com> | 2021-03-16 17:33:03 -0400 |
| commit | e3031fe22ae19965967f4fdf8bf46b017902a06a (patch) | |
| tree | 3d1678090dc5f7d1bf459e2b3879b92d6ff2d4c3 /library/std/src/sys/unix/stack_overflow.rs | |
| parent | f24ce9b0140d9be5a336954e878d0c1522966bb8 (diff) | |
| download | rust-e3031fe22ae19965967f4fdf8bf46b017902a06a.tar.gz rust-e3031fe22ae19965967f4fdf8bf46b017902a06a.zip | |
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: ``` #![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`.
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions
