rust/tests/ui/trivial-bounds/trivial-bounds-object.rs

19 lines
308 B
Rust

//@ run-pass
// Check that the object bound dyn A + 'a: A is preferred over the
// where clause bound dyn A + 'static: A.
#![allow(unused)]
trait A {
fn test(&self);
}
fn foo(x: &dyn A)
where
dyn A + 'static: A, // Using this bound would lead to a lifetime error.
{
x.test();
}
fn main () {}