blob: 0d06aed48068805c9f8b856226f6b8f2f8a2f3cc [file] [log] [blame]
// 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
}