src/test/ui/const-generics/type-dependent/const-arg-in-const-arg.rs

   1 // run-pass
   2 // revisions: full min
   3 #![cfg_attr(full, feature(const_generics))]
   4 #![cfg_attr(min, feature(min_const_generics))]
   5 #![allow(incomplete_features)]
   6
   7 struct Foo;
   8
   9 impl Foo {
  10     fn foo<const N: usize>(&self) -> usize {
  11         let f = self;
  12         f.bar::<{
  13             let f = Foo;
  14             f.bar::<7>()
  15         }>() + N
  16     }
  17
  18     const fn bar<const M: usize>(&self) -> usize {
  19         M
  20     }
  21 }
  22
  23 fn main() {
  24     let f = Foo;
  25
  26     assert_eq!(f.foo::<13>(), 20)
  27 }