summaryrefslogtreecommitdiffstats
path: root/tests/ui/suggestions/issue-84973-2.rs
blob: 050cf8c64b361eaa2438e11c34b003abeae65667 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// A slight variation of issue-84973.rs. Here, a mutable borrow is
// required (and the obligation kind is different).

trait Tr {}
impl Tr for &mut i32 {}

fn foo<T: Tr>(i: T) {}

fn main() {
    let a: i32 = 32;
    foo(a);
    //~^ ERROR: the trait bound `i32: Tr` is not satisfied [E0277]
}