@@ -242,20 +242,36 @@ lint_identifier_non_ascii_char = identifier contains non-ASCII characters
242
242
243
243
lint_identifier_uncommon_codepoints = identifier contains { $codepoints_len ->
244
244
[ one ] { $identifier_type ->
245
- [ Exclusion ] an { $identifier_type } Unicode codepoint
246
- [ Technical ] a { $identifier_type } Unicode codepoint
247
- [ Limited_Use ] a { $identifier_type } Unicode codepoint
248
- [ Not_NFKC ] a { $identifier_type } Unicode codepoint
245
+ [ Exclusion ] a Unicode codepoint that is no longer used
246
+ [ Technical ] a Unicode codepoint that has specialized usage
247
+ [ Limited_Use ] a Unicode codepoint that is in limited use
248
+ [ Not_NFKC ] a Unicode codepoint that is not used in normalized strings
249
249
*[ other ] an uncommon Unicode codepoint
250
250
}
251
251
*[ other ] { $identifier_type ->
252
- [ Exclusion ] { $identifier_type } Unicode codepoints
253
- [ Technical ] { $identifier_type } Unicode codepoints
254
- [ Limited_Use ] { $identifier_type } Unicode codepoints
255
- [ Not_NFKC ] { $identifier_type } Unicode codepoints
252
+ [ Exclusion ] { $codepoints_len } Unicode codepoints that are no longer used
253
+ [ Technical ] { $codepoints_len } Unicode codepoints that have specialized usage
254
+ [ Limited_Use ] { $codepoints_len } Unicode codepoints that are in limited use
255
+ [ Not_NFKC ] { $codepoints_len } Unicode codepoints that are not used in normalized strings
256
256
*[ other ] uncommon Unicode codepoints
257
257
}
258
258
} : { $codepoints }
259
+ .note = { $codepoints_len ->
260
+ [ one ] { $identifier_type ->
261
+ [ Exclusion ] this character is included in the { $identifier_type } Unicode general security profile
262
+ [ Technical ] this character is included in the { $identifier_type } Unicode general security profile
263
+ [ Limited_Use ] this character is included in the { $identifier_type } Unicode general security profile
264
+ [ Not_NFKC ] this character is included in the { $identifier_type } Unicode general security profile
265
+ *[ other ] this Unicode codepoint is uncommon
266
+ }
267
+ *[ other ] { $identifier_type ->
268
+ [ Exclusion ] these characters are included in the { $identifier_type } Unicode general security profile
269
+ [ Technical ] these characters are included in the { $identifier_type } Unicode general security profile
270
+ [ Limited_Use ] these characters are included in the { $identifier_type } Unicode general security profile
271
+ [ Not_NFKC ] these characters are included in the { $identifier_type } Unicode general security profile
272
+ *[ other ] these Unicode codepoints are uncommon
273
+ }
274
+ }
259
275
260
276
lint_ignored_unless_crate_specified = { $level } ({ $name } ) is ignored unless specified at crate level
261
277
0 commit comments