about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/transform/coverage/debug.rs
diff options
context:
space:
mode:
authorJoshua Nelson <jyn514@gmail.com>2021-03-16 17:33:03 -0400
committerJoshua Nelson <jyn514@gmail.com>2021-03-16 17:33:03 -0400
commite3031fe22ae19965967f4fdf8bf46b017902a06a (patch)
tree3d1678090dc5f7d1bf459e2b3879b92d6ff2d4c3 /compiler/rustc_mir/src/transform/coverage/debug.rs
parentf24ce9b0140d9be5a336954e878d0c1522966bb8 (diff)
downloadrust-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 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions