summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/constifconst-call-in-const-position.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/constifconst-call-in-const-position.rs')
-rw-r--r--src/test/ui/consts/constifconst-call-in-const-position.rs22
1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/consts/constifconst-call-in-const-position.rs b/src/test/ui/consts/constifconst-call-in-const-position.rs
new file mode 100644
index 000000000..fcf01d5bc
--- /dev/null
+++ b/src/test/ui/consts/constifconst-call-in-const-position.rs
@@ -0,0 +1,22 @@
+// known-bug: #102498
+
+#![feature(const_trait_impl, generic_const_exprs)]
+
+#[const_trait]
+pub trait Tr {
+ fn a() -> usize;
+}
+
+impl Tr for () {
+ fn a() -> usize {
+ 1
+ }
+}
+
+const fn foo<T: ~const Tr>() -> [u8; T::a()] {
+ [0; T::a()]
+}
+
+fn main() {
+ foo::<()>();
+}