diff options
Diffstat (limited to 'src/test/ui/const-generics/type-dependent/issue-70217.rs')
-rw-r--r-- | src/test/ui/const-generics/type-dependent/issue-70217.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/type-dependent/issue-70217.rs b/src/test/ui/const-generics/type-dependent/issue-70217.rs new file mode 100644 index 000000000..933ca0276 --- /dev/null +++ b/src/test/ui/const-generics/type-dependent/issue-70217.rs @@ -0,0 +1,14 @@ +// check-pass + +struct Struct<const N: usize>; + +impl<const N: usize> Struct<N> { + fn method<const M: usize>(&self) {} +} + +fn test<const N: usize, const M: usize>(x: Struct<N>) { + Struct::<N>::method::<M>(&x); + x.method::<N>(); +} + +fn main() {} |