]> git.lizzy.rs Git - rust.git/blob - src/test/run-pass/trait-inheritance-num0.rs
librustc: Remove the fallback to `int` from typechecking.
[rust.git] / src / test / run-pass / trait-inheritance-num0.rs
1
2 // Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
3 // file at the top-level directory of this distribution and at
4 // http://rust-lang.org/COPYRIGHT.
5 //
6 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
7 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
8 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
9 // option. This file may not be copied, modified, or distributed
10 // except according to those terms.
11
12 // Extending Num and using inherited static methods
13
14 use std::num::NumCast;
15
16 trait Num {
17     fn from_int(i: int) -> Self;
18     fn gt(&self, other: &Self) -> bool;
19 }
20
21 pub trait NumExt: Num + NumCast { }
22
23 fn greater_than_one<T:NumExt>(n: &T) -> bool {
24     n.gt(&NumCast::from(1i).unwrap())
25 }
26
27 pub fn main() {}