diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-20 17:35:05 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-20 17:35:05 +0100 |
| commit | 20d369a826e8f333cba1988325480a49a730f00e (patch) | |
| tree | 266845de2212273c0967ed6455bdc0c7b485f225 /xtask/src/metrics.rs | |
| parent | 5dd99aa016bd9f7b8bcbc0eb47998723b675bb26 (diff) | |
| parent | 74ac83a5acc9f53db69577fc32a4a6e3985d2ef9 (diff) | |
Merge #6299
6299: Diagnose items that are #[cfg]d out r=jonas-schievink a=jonas-schievink
This emits a hint-level diagnostic with `Unnecessary` tag to "gray out" any items whose `#[cfg]` attributes remove the item before name resolution.
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'xtask/src/metrics.rs')
0 files changed, 0 insertions, 0 deletions