about summary refs log tree commit diff
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2019-12-23 07:35:18 +0900
committerYuki Okushi <huyuumi.dev@gmail.com>2019-12-23 07:42:26 +0900
commit7c485ccfad968ba6fe226a59f9337adbc158dd6b (patch)
treed9757f4b0f17655fdb16cdf27e95f64945b10f25
parent101dd7bad9432730fa2f625ae43afcc2929457d4 (diff)
downloadrust-7c485ccfad968ba6fe226a59f9337adbc158dd6b.tar.gz
rust-7c485ccfad968ba6fe226a59f9337adbc158dd6b.zip
Add test for issue-61747
-rw-r--r--src/test/ui/const-generics/issues/issue-61747.rs16
-rw-r--r--src/test/ui/const-generics/issues/issue-61747.stderr8
2 files changed, 24 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/issues/issue-61747.rs b/src/test/ui/const-generics/issues/issue-61747.rs
new file mode 100644
index 00000000000..cab87200b50
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-61747.rs
@@ -0,0 +1,16 @@
+// check-pass
+
+#![feature(const_generics)]
+//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
+
+struct Const<const N: usize>;
+
+impl<const C: usize> Const<{C}> {
+    fn successor() -> Const<{C + 1}> {
+        Const
+    }
+}
+
+fn main() {
+    Const::<1>::successor();
+}
diff --git a/src/test/ui/const-generics/issues/issue-61747.stderr b/src/test/ui/const-generics/issues/issue-61747.stderr
new file mode 100644
index 00000000000..ccf36a7f805
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-61747.stderr
@@ -0,0 +1,8 @@
+warning: the feature `const_generics` is incomplete and may cause the compiler to crash
+  --> $DIR/issue-61747.rs:3:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+   |
+   = note: `#[warn(incomplete_features)]` on by default
+