src/test/ui/const-generics/min_const_generics/complex-expression.rs

   1 #![feature(min_const_generics)]
   2
   3 fn test<const N: usize>() {}
   4
   5 fn ok<const M: usize>() -> [u8; M] {
   6     [0; { M }]
   7 }
   8
   9 struct Break0<const N: usize>([u8; { N + 1 }]);
  10 //~^ ERROR generic parameters must not be used inside of non-trivial constant values
  11
  12 struct Break1<const N: usize>([u8; { { N } }]);
  13 //~^ ERROR generic parameters must not be used inside of non-trivial constant values
  14
  15 fn break2<const N: usize>() {
  16     let _: [u8; N + 1];
  17     //~^ ERROR generic parameters must not be used inside of non-trivial constant values
  18 }
  19
  20 fn break3<const N: usize>() {
  21     let _ = [0; N + 1];
  22     //~^ ERROR generic parameters must not be used inside of non-trivial constant values
  23 }
  24
  25 trait Foo {
  26     const ASSOC: usize;
  27 }
  28
  29 fn main() {}