about summary refs log tree commit diff
path: root/library/std/src/sys/unix/thread.rs
diff options
context:
space:
mode:
authorDylan DPC <dylan.dpc@gmail.com>2021-03-18 00:28:14 +0100
committerGitHub <noreply@github.com>2021-03-18 00:28:14 +0100
commitbcb9226efb86f5e082476f4b6910735bd8522825 (patch)
tree603ed37ae7d05ac3340a5a99356c7d21a98685fe /library/std/src/sys/unix/thread.rs
parent201893f5aca0e98d66b01ce59e0889c8c4266079 (diff)
parente3031fe22ae19965967f4fdf8bf46b017902a06a (diff)
downloadrust-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