src/test/compile-fail/class-cast-to-trait.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
  12 trait noisy {
  13   fn speak(&self);
  14 }
  15
  16 struct cat {
  17   meows : uint,
  18
  19   how_hungry : int,
  20   name : StrBuf,
  21 }
  22
  23 impl cat {
  24   pub fn eat(&self) -> bool {
  25     if self.how_hungry > 0 {
  26         println!("OM NOM NOM");
  27         self.how_hungry -= 2;
  28         return true;
  29     }
  30     else {
  31         println!("Not hungry!");
  32         return false;
  33     }
  34   }
  35 }
  36
  37 impl noisy for cat {
  38   fn speak(&self) { self.meow(); }
  39
  40 }
  41
  42 impl cat {
  43     fn meow(&self) {
  44       println!("Meow");
  45       self.meows += 1;
  46       if self.meows % 5 == 0 {
  47           self.how_hungry += 1;
  48       }
  49     }
  50 }
  51
  52 fn cat(in_x : uint, in_y : int, in_name: StrBuf) -> cat {
  53     cat {
  54         meows: in_x,
  55         how_hungry: in_y,
  56         name: in_name
  57     }
  58 }
  59
  60 fn main() {
  61   let nyan: Box<noisy> = box cat(0, 2, "nyan".to_strbuf()) as Box<noisy>;
  62   nyan.eat(); //~ ERROR does not implement any method in scope named `eat`
  63 }