src/test/run-pass/obj-as.rs

   1
   2 obj big() {
   3   fn one() -> int { ret 1; }
   4   fn two() -> int { ret 2; }
   5   fn three() -> int { ret 3; }
   6 }
   7
   8 type small = obj {
   9                fn one() -> int;
  10              };
  11
  12 fn main() {
  13
  14   let big b = big();
  15   check (b.one() == 1);
  16   check (b.two() == 2);
  17   check (b.three() == 3);
  18
  19   let small s = b as small;
  20   check (s.one() == 1);
  21 }