blob: 22ca6dde45eee1eac39177ce95cffd5fc5081389 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
trait Trait {}
struct S;
impl<'a> Trait for &'a mut S {}
fn foo<X: Trait>(_: X) {}
fn main() {
let s = S;
foo(&s); //~ ERROR the trait bound `&S: Trait` is not satisfied
foo(s); //~ ERROR the trait bound `S: Trait` is not satisfied
}
|