From 47f373128a9727f299b3ae53cbf7d26da74abc75 Mon Sep 17 00:00:00 2001
From: varkor <github@varkor.com>
Date: Fri, 3 May 2019 14:42:38 +0100
Subject: [PATCH] Add tests

---
 .../const-generics/const-param-in-trait-ungated.rs   |  3 +++
 .../const-param-in-trait-ungated.stderr              | 12 ++++++++++++
 src/test/ui/const-generics/const-param-in-trait.rs   |  8 ++++++++
 .../ui/const-generics/const-param-in-trait.stderr    |  6 ++++++
 4 files changed, 29 insertions(+)
 create mode 100644 src/test/ui/const-generics/const-param-in-trait-ungated.rs
 create mode 100644 src/test/ui/const-generics/const-param-in-trait-ungated.stderr
 create mode 100644 src/test/ui/const-generics/const-param-in-trait.rs
 create mode 100644 src/test/ui/const-generics/const-param-in-trait.stderr

diff --git a/src/test/ui/const-generics/const-param-in-trait-ungated.rs b/src/test/ui/const-generics/const-param-in-trait-ungated.rs
new file mode 100644
index 00000000000..8a81bcc1a80
--- /dev/null
+++ b/src/test/ui/const-generics/const-param-in-trait-ungated.rs
@@ -0,0 +1,3 @@
+trait Trait<const T: ()> {} //~ ERROR const generics are unstable
+
+fn main() {}
diff --git a/src/test/ui/const-generics/const-param-in-trait-ungated.stderr b/src/test/ui/const-generics/const-param-in-trait-ungated.stderr
new file mode 100644
index 00000000000..53bc9738414
--- /dev/null
+++ b/src/test/ui/const-generics/const-param-in-trait-ungated.stderr
@@ -0,0 +1,12 @@
+error[E0658]: const generics are unstable
+  --> $DIR/const-param-in-trait-ungated.rs:1:19
+   |
+LL | trait Trait<const T: ()> {}
+   |                   ^
+   |
+   = note: for more information, see https://github.com/rust-lang/rust/issues/44580
+   = help: add #![feature(const_generics)] to the crate attributes to enable
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0658`.
diff --git a/src/test/ui/const-generics/const-param-in-trait.rs b/src/test/ui/const-generics/const-param-in-trait.rs
new file mode 100644
index 00000000000..6e4f65fe6ca
--- /dev/null
+++ b/src/test/ui/const-generics/const-param-in-trait.rs
@@ -0,0 +1,8 @@
+// run-pass
+
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+trait Trait<const T: ()> {}
+
+fn main() {}
diff --git a/src/test/ui/const-generics/const-param-in-trait.stderr b/src/test/ui/const-generics/const-param-in-trait.stderr
new file mode 100644
index 00000000000..a48eefddaa8
--- /dev/null
+++ b/src/test/ui/const-generics/const-param-in-trait.stderr
@@ -0,0 +1,6 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/const-param-in-trait.rs:3:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+
-- 
2.44.0