Merge pull request #1650 from lukas-code/❓for<>

trait bounds grammar: make `?` and `for<>` mutually exclusive
rust-lang · Oct 12, 2024 · 81477c4 · 81477c4
2 parents c64e52a + e76da81
commit 81477c4
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/trait-bounds.md b/src/trait-bounds.md
@@ -8,10 +8,10 @@
 > &nbsp;&nbsp; &nbsp;&nbsp; _Lifetime_ | _TraitBound_ | _UseBound_
 >
 > _TraitBound_ :\
-> &nbsp;&nbsp; &nbsp;&nbsp; `?`<sup>?</sup>
-> [_ForLifetimes_](#higher-ranked-trait-bounds)<sup>?</sup> [_TypePath_]\
-> &nbsp;&nbsp; | `(` `?`<sup>?</sup>
-> [_ForLifetimes_](#higher-ranked-trait-bounds)<sup>?</sup> [_TypePath_] `)`
+> &nbsp;&nbsp; &nbsp;&nbsp; ( `?` |
+> [_ForLifetimes_](#higher-ranked-trait-bounds) )<sup>?</sup> [_TypePath_]\
+> &nbsp;&nbsp; | `(` ( `?` |
+> [_ForLifetimes_](#higher-ranked-trait-bounds) )<sup>?</sup> [_TypePath_] `)`
 >
 > _LifetimeBounds_ :\
 > &nbsp;&nbsp; ( _Lifetime_ `+` )<sup>\*</sup> _Lifetime_<sup>?</sup>