summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/defaults/generic-expr-default.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/defaults/generic-expr-default.rs')
-rw-r--r--src/test/ui/const-generics/defaults/generic-expr-default.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/const-generics/defaults/generic-expr-default.rs b/src/test/ui/const-generics/defaults/generic-expr-default.rs
deleted file mode 100644
index 8fe43feb7..000000000
--- a/src/test/ui/const-generics/defaults/generic-expr-default.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-pub struct Foo<const N: usize, const M: usize = { N + 1 }>;
-pub fn needs_evaluatable_bound<const N1: usize>() -> Foo<N1> {
- //~^ error: unconstrained generic constant
- loop {}
-}
-pub fn has_evaluatable_bound<const N1: usize>() -> Foo<N1> where [(); N1 + 1]: {
- loop {}
-}
-
-type FooAlias<const N: usize, const NP: usize = { N + 1 }> = [(); NP];
-fn needs_evaluatable_bound_alias<T, const N: usize>() -> FooAlias<N>
-{
- //~^^ error: unconstrained generic constant
- todo!()
-}
-fn has_evaluatable_bound_alias<const N: usize>() -> FooAlias<N>
-where [(); N + 1]: {
- todo!()
-}
-
-fn main() {}