diff --git a/src/doc/reference/src/identifiers.md b/src/doc/reference/src/identifiers.md index ea129cd15f0..4df68b39b91 100644 --- a/src/doc/reference/src/identifiers.md +++ b/src/doc/reference/src/identifiers.md @@ -2,9 +2,6 @@ An identifier is any nonempty Unicode[^non_ascii_idents] string of the following form: -[^non_ascii_idents]: Non-ASCII characters in identifiers are currently feature - gated. This is expected to improve soon. - Either * The first character has property `XID_start` @@ -21,3 +18,7 @@ that does _not_ occur in the set of [keywords][keywords]. > **Note**: `XID_start` and `XID_continue` as character properties cover the > character ranges used to form the more familiar C and Java language-family > identifiers. + +keywords: ../grammar.html#keywords +[^non_ascii_idents]: Non-ASCII characters in identifiers are currently feature + gated. This is expected to improve soon. \ No newline at end of file