Add tests

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 (file)
index 0000000..8a81bcc
--- /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 (file)
index 0000000..53bc973
--- /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 (file)
index 0000000..6e4f65f
--- /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 (file)
index 0000000..a48eefd
--- /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)]
+   |            ^^^^^^^^^^^^^^
+