src/test/ui/const-generics/type-dependent/issue-67144-2.rs

   1 // check-pass
   2 #![feature(const_generics)]
   3 #![allow(incomplete_features)]
   4
   5 struct A<const N: usize>;
   6
   7 struct X;
   8
   9 impl X {
  10     fn inner<const N: usize>() -> A<N> {
  11         outer::<N>()
  12     }
  13 }
  14
  15 fn outer<const N: usize>() -> A<N> {
  16     A
  17 }
  18
  19 fn main() {
  20     let i: A<3usize> = outer::<3usize>();
  21     let o: A<3usize> = X::inner::<3usize>();
  22 }