Clarify missing tick.

ehuss · ehuss · commit 769f938aea2c · 2023-06-05T11:51:37.000-07:00
diff --git 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]*.
 >

Original file line number	Diff line number	Diff line change
`@@ -548,7 +548,7 @@ Indices starting from 1 refer (as de Bruijn indices) to a higher-ranked lifetime`
`548`	`548`	> Index 0 should be displayed as `'_`.
`549`	`549`	`>`
`550`	`550`	> Lifetimes starting from 1 may be translated to single lowercase letters starting with `'a`.
`551`		-> Indices over 25 may consider printing the numeric lifetime index as in `_123`.
	`551`	+> Indices over 25 may consider printing the numeric lifetime index as in `'_123`.
`552`	`552`	`>`
`553`	`553`	`> Index 0 should not be displayed for lifetimes in a [ref-type], [mut-ref-type], or [dyn-trait-type].`
`554`	`554`	`>`