diff options
Diffstat (limited to 'src/test/ui/const-generics/occurs-check/unify-fixpoint.rs')
-rw-r--r-- | src/test/ui/const-generics/occurs-check/unify-fixpoint.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/occurs-check/unify-fixpoint.rs b/src/test/ui/const-generics/occurs-check/unify-fixpoint.rs new file mode 100644 index 000000000..e6f8e4ad3 --- /dev/null +++ b/src/test/ui/const-generics/occurs-check/unify-fixpoint.rs @@ -0,0 +1,12 @@ +// check-pass +#![feature(generic_const_exprs)] //~ WARN the feature `generic_const_exprs` is incomplete + + +fn bind<const N: usize>(value: [u8; N + 2]) -> [u8; N * 2] { + todo!() +} + +fn main() { + let mut arr = Default::default(); + arr = bind::<2>(arr); +} |