about summary refs log tree commit diff
path: root/tests/ui/methods/call_method_unknown_referent2.rs
blob: b1615bd8d441423bc79a3c9551a499b2d91b80b3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
//@ edition: 2018
//@ run-pass

#![feature(arbitrary_self_types)]

// tests that the referent type of a reference must be known to call methods on it

struct SmartPtr<T>(T);

impl<T> core::ops::Receiver for SmartPtr<T> {
    type Target = T;
}

impl<T> SmartPtr<T> {
    fn foo(&self) -> usize { 3 }
}

fn main() {
    let val = 1_u32;
    let ptr = SmartPtr(val);
    // Ensure calls to outer methods work even if inner methods can't be
    // resolved due to the type variable
    assert_eq!((ptr as SmartPtr<_>).foo(), 3);
}