src/test/ui/associated-consts/associated-const-cross-crate-const-eval.rs

   1 // run-pass
   2 // aux-build:associated-const-cc-lib.rs
   3
   4
   5 extern crate associated_const_cc_lib as foolib;
   6
   7 pub struct LocalFoo;
   8
   9 impl foolib::Foo for LocalFoo {
  10     const BAR: usize = 1;
  11 }
  12
  13 const FOO_1: usize = <foolib::FooNoDefault as foolib::Foo>::BAR;
  14 const FOO_2: usize = <LocalFoo as foolib::Foo>::BAR;
  15 const FOO_3: usize = foolib::InherentBar::BAR;
  16
  17 fn main() {
  18     assert_eq!(0, FOO_1);
  19     assert_eq!(1, FOO_2);
  20     assert_eq!(3, FOO_3);
  21
  22     match 0 {
  23         <foolib::FooNoDefault as foolib::Foo>::BAR => {},
  24         <LocalFoo as foolib::Foo>::BAR => assert!(false),
  25         foolib::InherentBar::BAR => assert!(false),
  26         _ => assert!(false)
  27     }
  28 }