src/test/run-pass/ufcs-explicit-self.rs

   1 // Copyright 2012 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 struct Foo {
  12     f: int,
  13 }
  14
  15 impl Copy for Foo {}
  16
  17 impl Foo {
  18     fn foo(self: Foo, x: int) -> int {
  19         self.f + x
  20     }
  21     fn bar(self: &Foo, x: int) -> int {
  22         self.f + x
  23     }
  24     fn baz(self: Box<Foo>, x: int) -> int {
  25         self.f + x
  26     }
  27 }
  28
  29 struct Bar<T> {
  30     f: T,
  31 }
  32
  33 impl<T:Copy> Copy for Bar<T> {}
  34
  35 impl<T> Bar<T> {
  36     fn foo(self: Bar<T>, x: int) -> int {
  37         x
  38     }
  39     fn bar<'a>(self: &'a Bar<T>, x: int) -> int {
  40         x
  41     }
  42     fn baz(self: Bar<T>, x: int) -> int {
  43         x
  44     }
  45 }
  46
  47 fn main() {
  48     let foo = box Foo {
  49         f: 1,
  50     };
  51     println!("{} {} {}", foo.foo(2), foo.bar(2), foo.baz(2));
  52     let bar = box Bar {
  53         f: 1,
  54     };
  55     println!("{} {} {}", bar.foo(2), bar.bar(2), bar.baz(2));
  56     let bar: Box<Bar<int>> = bar;
  57     println!("{} {} {}", bar.foo(2), bar.bar(2), bar.baz(2));
  58 }
  59