src/test/incremental/reorder_vtable.rs

   1 // revisions:rpass1 rpass2
   2
   3 trait Foo {
   4     #[cfg(rpass1)]
   5     fn method1(&self) -> u32;
   6
   7     fn method2(&self) -> u32;
   8
   9     #[cfg(rpass2)]
  10     fn method1(&self) -> u32;
  11 }
  12
  13 impl Foo for u32 {
  14     fn method1(&self) -> u32 { 17 }
  15     fn method2(&self) -> u32 { 42 }
  16 }
  17
  18 fn main() {
  19     let x: &dyn Foo = &0u32;
  20     assert_eq!(mod1::foo(x), 17);
  21 }
  22
  23 mod mod1 {
  24     pub fn foo(x: &dyn super::Foo) -> u32 {
  25         x.method1()
  26     }
  27 }