From: varkor <github@varkor.com>
Date: Mon, 23 Jul 2018 12:06:32 +0000 (+0100)
Subject: Add a test for unknown features
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c717ccba174c054cca4cbd5d6e80c533a1cb7b02;p=rust.git

Add a test for unknown features
---

diff --git a/src/test/ui/feature-gate/unknown-feature.rs b/src/test/ui/feature-gate/unknown-feature.rs
new file mode 100644
index 00000000000..4101faf7dd0
--- /dev/null
+++ b/src/test/ui/feature-gate/unknown-feature.rs
@@ -0,0 +1,15 @@
+// Copyright 2018 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+#![deny(unknown_features)]
+
+#![feature(unknown_rust_feature)] //~ ERROR unknown feature
+
+fn main() {}
diff --git a/src/test/ui/feature-gate/unknown-feature.stderr b/src/test/ui/feature-gate/unknown-feature.stderr
new file mode 100644
index 00000000000..392d918246f
--- /dev/null
+++ b/src/test/ui/feature-gate/unknown-feature.stderr
@@ -0,0 +1,14 @@
+error: unknown feature `unknown_rust_feature`
+  --> $DIR/unknown-feature.rs:13:12
+   |
+LL | #![feature(unknown_rust_feature)] //~ ERROR unknown feature
+   |            ^^^^^^^^^^^^^^^^^^^^
+   |
+note: lint level defined here
+  --> $DIR/unknown-feature.rs:11:9
+   |
+LL | #![deny(unknown_features)]
+   |         ^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+