summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/generic_const_exprs/no_dependence.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/generic_const_exprs/no_dependence.rs')
-rw-r--r--src/test/ui/const-generics/generic_const_exprs/no_dependence.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/generic_const_exprs/no_dependence.rs b/src/test/ui/const-generics/generic_const_exprs/no_dependence.rs
new file mode 100644
index 000000000..db8dc6ed4
--- /dev/null
+++ b/src/test/ui/const-generics/generic_const_exprs/no_dependence.rs
@@ -0,0 +1,13 @@
+// check-pass
+#![feature(generic_const_exprs)]
+#![allow(incomplete_features)]
+
+fn two_args<const N: usize, const M: usize>() -> [u8; M + 2] {
+ [0; M + 2]
+}
+
+fn yay<const N: usize>() -> [u8; 4] {
+ two_args::<N, 2>() // no lint
+}
+
+fn main() {}