Skip to content

Commit

Permalink
trait bounds grammar: make ? and for<> mutually exclusive
Browse files Browse the repository at this point in the history
  • Loading branch information
Lukas Markeffsky committed Oct 11, 2024
1 parent c64e52a commit e76da81
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions src/trait-bounds.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down

0 comments on commit e76da81

Please sign in to comment.