src/test/ui/traits/trait-impl-1.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// Test calling methods on an impl for a bare trait. This test checks that the
// trait impl is only applied to a trait object, not concrete types which implement
// the trait.

trait T {}

impl<'a> dyn T + 'a {
    fn foo(&self) {}
}

impl T for i32 {}

fn main() {
    let x = &42i32;
    x.foo(); //~ERROR: no method named `foo` found for type `&i32` in the current scope
}