diff options
Diffstat (limited to 'src/test/ui/lint/lint-unknown-feature-default.rs')
| -rw-r--r-- | src/test/ui/lint/lint-unknown-feature-default.rs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/test/ui/lint/lint-unknown-feature-default.rs b/src/test/ui/lint/lint-unknown-feature-default.rs deleted file mode 100644 index 84a2e5a4b..000000000 --- a/src/test/ui/lint/lint-unknown-feature-default.rs +++ /dev/null @@ -1,9 +0,0 @@ -// check-pass - -// Tests the default for the unused_features lint - -#![allow(stable_features)] -// FIXME(#44232) we should warn that this isn't used. -#![feature(rust1)] - -fn main() {} |