diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2019-09-01 14:54:57 +0300 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2019-09-13 10:29:18 -0700 |
| commit | 852014a0128f70aed046b5cf710603a52d99b07d (patch) | |
| tree | 28377d3b077037db5912ddb123b414c3f4b3bf44 /src/libsyntax_pos | |
| parent | ee6de6cf44d8606e2661cfe16b7d4128fbeb0ca2 (diff) | |
Support "soft" feature-gating using a lint
Use it for feature-gating `#[bench]`
Diffstat (limited to 'src/libsyntax_pos')
| -rw-r--r-- | src/libsyntax_pos/symbol.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libsyntax_pos/symbol.rs b/src/libsyntax_pos/symbol.rs index 2d9556233d1..e301a069970 100644 --- a/src/libsyntax_pos/symbol.rs +++ b/src/libsyntax_pos/symbol.rs @@ -623,6 +623,7 @@ symbols! { size, slice_patterns, slicing_syntax, + soft, Some, specialization, speed, |