diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2021-11-05 21:12:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-05 21:12:31 +0100 |
| commit | f5f6f73faf7d38b4d4c6cdccd6bd8a12ff23d5be (patch) | |
| tree | d04871857958a09ec3201e784c9de158be181d90 /src | |
| parent | 9032b9d8768b3fc5b20659d9be5efa518529525b (diff) | |
| parent | 9db9811ddf96dab53f4cd5b4b406d34572259f3c (diff) | |
| download | rust-f5f6f73faf7d38b4d4c6cdccd6bd8a12ff23d5be.tar.gz rust-f5f6f73faf7d38b4d4c6cdccd6bd8a12ff23d5be.zip | |
Rollup merge of #90626 - rusticstuff:be-more-accepting, r=jyn514
Properly register text_direction_codepoint_in_comment lint. This makes it known to the compiler so it can be configured like with `#![allow(text_direction_codepoint_in_comment)]`. Fixes #90614.
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/lint/issue-90614-accept-allow-text-direction-codepoint-in-comment-lint.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/test/ui/lint/issue-90614-accept-allow-text-direction-codepoint-in-comment-lint.rs b/src/test/ui/lint/issue-90614-accept-allow-text-direction-codepoint-in-comment-lint.rs new file mode 100644 index 00000000000..425e2703c94 --- /dev/null +++ b/src/test/ui/lint/issue-90614-accept-allow-text-direction-codepoint-in-comment-lint.rs @@ -0,0 +1,9 @@ +// check-pass +// Allowing the code lint should work without warning and +// the text flow char in the comment should be ignored. + +#![allow(text_direction_codepoint_in_comment)] + +fn main() { + // U+2066 LEFT-TO-RIGHT ISOLATE follows: +} |
