From e76da81a19f5076e7c7b6350fe50ca117849effa Mon Sep 17 00:00:00 2001
From: Lukas Markeffsky <@>
Date: Fri, 11 Oct 2024 23:13:50 +0200
Subject: [PATCH] trait bounds grammar: make `?` and `for<>` mutually exclusive

---
 src/trait-bounds.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/trait-bounds.md b/src/trait-bounds.md
index 019a2f7f0..b0d667d95 100644
--- 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>