From bfa15f39888a514f1eb164e210cf5d85b33146e1 Mon Sep 17 00:00:00 2001
From: ben <benlewisj@gmail.com>
Date: Sun, 5 May 2019 08:41:39 +1200
Subject: [PATCH] Add tests for concrete const types

---
 .../concrete-const-as-fn-arg.rs               | 14 +++++++++++
 .../concrete-const-as-fn-arg.stderr           |  6 +++++
 .../concrete-const-impl-method.rs             | 24 +++++++++++++++++++
 .../concrete-const-impl-method.stderr         |  6 +++++
 4 files changed, 50 insertions(+)
 create mode 100644 src/test/ui/const-generics/concrete-const-as-fn-arg.rs
 create mode 100644 src/test/ui/const-generics/concrete-const-as-fn-arg.stderr
 create mode 100644 src/test/ui/const-generics/concrete-const-impl-method.rs
 create mode 100644 src/test/ui/const-generics/concrete-const-impl-method.stderr

diff --git a/src/test/ui/const-generics/concrete-const-as-fn-arg.rs b/src/test/ui/const-generics/concrete-const-as-fn-arg.rs
new file mode 100644
index 0000000000000..54981b77a2b84
--- /dev/null
+++ b/src/test/ui/const-generics/concrete-const-as-fn-arg.rs
@@ -0,0 +1,14 @@
+// Test that a concrete const type i.e. A<2>, can be used as an argument type in a function
+// run-pass
+
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+struct A<const N: usize>; // ok
+
+fn with_concrete_const_arg(_: A<2>) -> u32 { 17 }
+
+fn main() {
+    let val: A<2> = A;
+    assert_eq!(with_concrete_const_arg(val), 17);
+}
diff --git a/src/test/ui/const-generics/concrete-const-as-fn-arg.stderr b/src/test/ui/const-generics/concrete-const-as-fn-arg.stderr
new file mode 100644
index 0000000000000..955b319d70044
--- /dev/null
+++ b/src/test/ui/const-generics/concrete-const-as-fn-arg.stderr
@@ -0,0 +1,6 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/concrete-const-as-fn-arg.rs:4:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+
diff --git a/src/test/ui/const-generics/concrete-const-impl-method.rs b/src/test/ui/const-generics/concrete-const-impl-method.rs
new file mode 100644
index 0000000000000..226ea4151806e
--- /dev/null
+++ b/src/test/ui/const-generics/concrete-const-impl-method.rs
@@ -0,0 +1,24 @@
+// Test that a method/associated non-method within an impl block of a concrete const type i.e. A<2>,
+// is callable.
+// run-pass
+
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+pub struct A<const N: u32>;
+
+impl A<2> {
+    fn impl_method(&self) -> u32 {
+        17
+    }
+
+    fn associated_non_method() -> u32 {
+        17
+    }
+}
+
+fn main() {
+    let val: A<2> = A;
+    assert_eq!(val.impl_method(), 17);
+    assert_eq!(A::<2>::associated_non_method(), 17);
+}
diff --git a/src/test/ui/const-generics/concrete-const-impl-method.stderr b/src/test/ui/const-generics/concrete-const-impl-method.stderr
new file mode 100644
index 0000000000000..3ce488c62755a
--- /dev/null
+++ b/src/test/ui/const-generics/concrete-const-impl-method.stderr
@@ -0,0 +1,6 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/concrete-const-impl-method.rs:5:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+