]> git.proxmox.com Git - rustc.git/blame - src/test/run-pass/trait-inheritance-visibility.rs
Imported Upstream version 1.0.0~beta.3
[rustc.git] / src / test / run-pass / trait-inheritance-visibility.rs
CommitLineData
223e47cc
LB
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
c34b1796 11
223e47cc 12mod traits {
c34b1796 13 pub trait Foo { fn f(&self) -> isize; }
223e47cc 14
c34b1796 15 impl Foo for isize { fn f(&self) -> isize { 10 } }
223e47cc
LB
16}
17
18trait Quux: traits::Foo { }
19impl<T:traits::Foo> Quux for T { }
20
21// Foo is not in scope but because Quux is we can still access
22// Foo's methods on a Quux bound typaram
23fn f<T:Quux>(x: &T) {
970d7e83 24 assert_eq!(x.f(), 10);
223e47cc
LB
25}
26
27pub fn main() {
85aaf69f 28 f(&0)
223e47cc 29}