src/test/ui/consts/const-eval/issue-44578.rs

   1 // build-fail
   2
   3 #![allow(const_err)]
   4
   5 trait Foo {
   6     const AMT: usize;
   7 }
   8
   9 enum Bar<A, B> {
  10     First(A),
  11     Second(B),
  12 }
  13
  14 impl<A: Foo, B: Foo> Foo for Bar<A, B> {
  15     const AMT: usize = [A::AMT][(A::AMT > B::AMT) as usize];
  16 }
  17
  18 impl Foo for u8 {
  19     const AMT: usize = 1;
  20 }
  21
  22 impl Foo for u16 {
  23     const AMT: usize = 2;
  24 }
  25
  26 fn main() {
  27     println!("{}", <Bar<u16, u8> as Foo>::AMT);
  28     //~^ ERROR evaluation of constant value failed [E0080]
  29 }