Skip to content

It's not possible to allow #![allow(text_direction_codepoint_in_comment)] #90614

Closed
@KamilaBorowska

Description

@KamilaBorowska

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

Metadata

Metadata

Assignees

Labels

C-bugCategory: This is a bug.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions