summary refs log tree commit diff
path: root/src/test/ui/traits/trait-impl-1.rs
blob: 29f58a6a9cbc195e00b500a01caa1250a52e7673 (plain)
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> 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
}