src/test/ui/issues/issue-24947.rs

   1 // run-pass
   2 // #24947 ICE using a trait-associated const in an array size
   3
   4
   5 struct Foo;
   6
   7 impl Foo {
   8     const SIZE: usize = 8;
   9 }
  10
  11 trait Bar {
  12     const BAR_SIZE: usize;
  13 }
  14
  15 impl Bar for Foo {
  16     const BAR_SIZE: usize = 12;
  17 }
  18
  19 #[allow(unused_variables)]
  20 fn main() {
  21     let w: [u8; 12] = [0u8; <Foo as Bar>::BAR_SIZE];
  22     let x: [u8; 12] = [0u8; <Foo>::BAR_SIZE];
  23     let y: [u8; 8] = [0u8; <Foo>::SIZE];
  24     let z: [u8; 8] = [0u8; Foo::SIZE];
  25 }