diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-28 12:26:55 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-28 12:26:55 +0000 |
commit | 99ec2f623d4446bcc0befe17a98db9c7062b8009 (patch) | |
tree | 280da6ea56a904e43b4edc57974e29d55daffcb8 /.github/workflows/publish.yml | |
parent | 86f947c1fb61c17140653f43e5f6e3e5c0ed057d (diff) | |
parent | b5c29af02a88d0354ae1cbdabb41d481132f476e (diff) |
Merge #7059
7059: Special case $_ in meta var instead of treat it as ident in mbe r=lnicola a=edwin0cheng
In #6929, we treat '_' as an ident but rustc is only allow it in some special places (e.g. meta var in mbe , type, pat etc).
This PR rollback that and we only make '$_' works in meta var matching.
Fixes #7056
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to '.github/workflows/publish.yml')
0 files changed, 0 insertions, 0 deletions