src/test/run-pass/associated-const-cross-crate-const-eval.rs

   1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // aux-build:associated-const-cc-lib.rs
  12
  13 #![feature(associated_consts)]
  14
  15 extern crate associated_const_cc_lib as foolib;
  16
  17 pub struct LocalFoo;
  18
  19 impl foolib::Foo for LocalFoo {
  20     const BAR: usize = 1;
  21 }
  22
  23 const FOO_1: usize = <foolib::FooNoDefault as foolib::Foo>::BAR;
  24 const FOO_2: usize = <LocalFoo as foolib::Foo>::BAR;
  25 const FOO_3: usize = foolib::InherentBar::BAR;
  26
  27 fn main() {
  28     assert_eq!(0, FOO_1);
  29     assert_eq!(1, FOO_2);
  30     assert_eq!(3, FOO_3);
  31
  32     match 0 {
  33         <foolib::FooNoDefault as foolib::Foo>::BAR => {},
  34         <LocalFoo as foolib::Foo>::BAR => assert!(false),
  35         foolib::InherentBar::BAR => assert!(false),
  36         _ => assert!(false)
  37     }
  38 }