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

   1 // compile-flags: -Zdeduplicate-diagnostics=yes
   2 use std::mem::size_of;
   3
   4 fn test<const N: usize>() {}
   5
   6 fn ok<const M: usize>() -> [u8; M] {
   7     [0; { M }]
   8 }
   9
  10 struct Break0<const N: usize>([u8; { N + 1 }]);
  11 //~^ ERROR generic parameters may not be used in const operations
  12
  13 struct Break1<const N: usize>([u8; { { N } }]);
  14 //~^ ERROR generic parameters may not be used in const operations
  15
  16 fn break2<const N: usize>() {
  17     let _: [u8; N + 1];
  18     //~^ ERROR generic parameters may not be used in const operations
  19 }
  20
  21 fn break3<const N: usize>() {
  22     let _ = [0; N + 1];
  23     //~^ ERROR generic parameters may not be used in const operations
  24 }
  25
  26 struct BreakTy0<T>(T, [u8; { size_of::<*mut T>() }]);
  27 //~^ ERROR generic parameters may not be used in const operations
  28
  29 struct BreakTy1<T>(T, [u8; { { size_of::<*mut T>() } }]);
  30 //~^ ERROR generic parameters may not be used in const operations
  31
  32 fn break_ty2<T>() {
  33     let _: [u8; size_of::<*mut T>() + 1];
  34     //~^ ERROR generic parameters may not be used in const operations
  35 }
  36
  37 fn break_ty3<T>() {
  38     let _ = [0; size_of::<*mut T>() + 1];
  39     //~^ WARN cannot use constants which depend on generic parameters in types
  40     //~| WARN this was previously accepted by the compiler but is being phased out
  41 }
  42
  43
  44 trait Foo {
  45     const ASSOC: usize;
  46 }
  47
  48 fn main() {}