src/test/ui/const-generics/issues/issue-61747.rs

   1 // revisions: full min
   2 #![cfg_attr(full, feature(const_generics))] //[full]~WARN the feature `const_generics` is incomplete
   3 #![cfg_attr(min, feature(min_const_generics))]
   4
   5 struct Const<const N: usize>;
   6
   7 impl<const C: usize> Const<{C}> {
   8     fn successor() -> Const<{C + 1}> {
   9         //[full]~^ ERROR constant expression depends on a generic parameter
  10         //[min]~^^ ERROR generic parameters must not be used
  11         Const
  12     }
  13 }
  14
  15 fn main() {
  16     let _x: Const::<2> = Const::<1>::successor();
  17 }