tests/ui/delegation/generics/trait-method-to-other-pass.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//@ run-pass

#![feature(fn_delegation)]
#![allow(incomplete_features)]

mod to_reuse {
    pub fn foo<T>(x: T) -> T { x }
}

trait Trait1<T, U> {
    fn foo(&self, _: T, x: U) -> U { x }
}

#[derive(Default)]
struct F;

impl<T, U> Trait1<T, U> for F {}

trait Trait2<T> {
    fn get_f(&self) -> &F { &F }
    reuse Trait1::foo as bar { self.get_f() }
    reuse to_reuse::foo as baz;
}

impl Trait2<u64> for F {}

fn main() {
    assert_eq!(F.bar(1u8, 2u16), 2u16);
    assert_eq!(F::baz(1u8), 1u8);
}