Only valid tokens are allowed inside macro rules. ⟵ is not a valid token.
There are several restrictions around what tokens a fragments can be followed by to ensure that introducing new syntax is not a breaking change. <- happens to not be in the whitelist for pattern fragments.
Roughly it will try to match the first option and if that doesn't work, the second and so on.