diff --git a/text/0550-macro-future-proofing.md b/text/0550-macro-future-proofing.md index 230a146b209..b7cc1de19cb 100644 --- a/text/0550-macro-future-proofing.md +++ b/text/0550-macro-future-proofing.md @@ -414,7 +414,7 @@ The current legal fragment specifiers are: `item`, `block`, `stmt`, `pat`, - `FOLLOW(pat)` = `{FatArrow, Comma, Eq, Or, Ident(if), Ident(in)}` - `FOLLOW(expr)` = `{FatArrow, Comma, Semicolon}` -- `FOLLOW(ty)` = `{OpenDelim(Brace), Comma, FatArrow, Colon, Eq, Gt, Semi, Or, Ident(as), Ident(where)}` +- `FOLLOW(ty)` = `{OpenDelim(Brace), Comma, FatArrow, Colon, Eq, Gt, Semi, Or, Ident(as), Ident(where), OpenDelim(Bracket)}` - `FOLLOW(stmt)` = `FOLLOW(expr)` - `FOLLOW(path)` = `FOLLOW(ty)` - `FOLLOW(block)` = any token @@ -481,6 +481,9 @@ reasonable freedom and can be extended in the future. [RFC issue 1336]: https://github.com/rust-lang/rfcs/issues/1336 +- Updated by https://github.com/rust-lang/rfcs/pull/1462, which added + open square bracket into the follow set for types. + # Appendices ## Appendix A: Algorithm for recognizing valid matchers.