8 impl Trait for &mut A {}
12 impl Trait for &mut C {}
14 fn foo<X: Trait>(_: X) {}
20 foo(a); //~ ERROR the trait bound `A: Trait` is not satisfied
21 foo(b); //~ ERROR the trait bound `B: Trait` is not satisfied
22 foo(c); //~ ERROR the trait bound `C: Trait` is not satisfied