src/test/ui/associated-consts/associated-const-type-parameter-arrays-2.rs

   1 pub trait Foo {
   2     const Y: usize;
   3 }
   4
   5 struct Abc;
   6 impl Foo for Abc {
   7     const Y: usize = 8;
   8 }
   9
  10 struct Def;
  11 impl Foo for Def {
  12     const Y: usize = 33;
  13 }
  14
  15 pub fn test<A: Foo, B: Foo>() {
  16     let _array = [4; <A as Foo>::Y];
  17     //~^ ERROR constant expression depends on a generic parameter
  18 }
  19
  20 fn main() {
  21 }