blob: 0d06aed48068805c9f8b856226f6b8f2f8a2f3cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// Regression test for #143523.
trait Trait {}
impl Trait for Vec<i32> {}
fn foo(_: impl Trait) {}
fn main() {
foo(&mut vec![1]);
//~^ ERROR the trait bound `&mut Vec<{integer}>: Trait` is not satisfied
}
|