Closed
Description
I tried this code:
#![allow(text_direction_codepoint_in_comment)]
I expected to see this happen: text_direction_codepoint_in_comment
to be allowed
Instead, this happened:
warning: unknown lint: `text_direction_codepoint_in_comment`
--> src/main.rs:1:10
|
1 | #![allow(text_direction_codepoint_in_comment)]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: did you mean: `text_direction_codepoint_in_literal`
|
= note: `#[warn(unknown_lints)]` on by default
(in case anyone is curious why I noticed this, don't worry, this isn't due to production code, see https://codegolf.stackexchange.com/a/230964/3103)
Meta
rustc --version --verbose
:
rustc 1.56.1 (59eed8a2a 2021-11-01)
binary: rustc
commit-hash: 59eed8a2aac0230a8b53e89d4e99d55912ba6b35
commit-date: 2021-11-01
host: x86_64-unknown-linux-gnu
release: 1.56.1
LLVM version: 13.0.0