diff options
| author | Eric Huss <eric@huss.org> | 2022-06-10 11:15:13 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2023-06-05 11:51:37 -0700 |
| commit | 769f938aea2c0d270cafc8f66c283d98461f701a (patch) | |
| tree | 30b7190993a67e48a25bd556b005e62b7c8e2392 | |
| parent | d782e8748b441335c4bed80ae791a60b770658f2 (diff) | |
| download | rust-769f938aea2c0d270cafc8f66c283d98461f701a.tar.gz rust-769f938aea2c0d270cafc8f66c283d98461f701a.zip | |
Clarify missing tick.
| -rw-r--r-- | src/doc/rustc/src/symbol-mangling/v0.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc/src/symbol-mangling/v0.md b/src/doc/rustc/src/symbol-mangling/v0.md index 797491a4ab3..dfd53434251 100644 --- a/src/doc/rustc/src/symbol-mangling/v0.md +++ b/src/doc/rustc/src/symbol-mangling/v0.md @@ -548,7 +548,7 @@ Indices starting from 1 refer (as de Bruijn indices) to a higher-ranked lifetime > Index 0 should be displayed as `'_`. > > Lifetimes starting from 1 may be translated to single lowercase letters starting with `'a`. -> Indices over 25 may consider printing the numeric lifetime index as in `_123`. +> Indices over 25 may consider printing the numeric lifetime index as in `'_123`. > > Index 0 should not be displayed for lifetimes in a *[ref-type]*, *[mut-ref-type]*, or *[dyn-trait-type]*. > |