summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/issues/issue-98629.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/issues/issue-98629.rs')
-rw-r--r--src/test/ui/const-generics/issues/issue-98629.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/issues/issue-98629.rs b/src/test/ui/const-generics/issues/issue-98629.rs
new file mode 100644
index 000000000..fc8666bbc
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-98629.rs
@@ -0,0 +1,15 @@
+#![feature(const_trait_impl)]
+
+trait Trait {
+ const N: usize;
+}
+
+impl const Trait for i32 {}
+//~^ ERROR not all trait items implemented, missing: `N`
+
+fn f()
+where
+ [(); <i32 as Trait>::N]:,
+{}
+
+fn main() {}