blob: 4faf9386f9a8b2f4172e9b7aac2f5af62bbeedff [file] [log] [blame]
// Check that we correctly prevent users from making trait objects
// from traits with static methods.
trait Foo {
fn foo();
}
fn foo_implicit<T:Foo+'static>(b: Box<T>) -> Box<Foo+'static> {
//~^ ERROR E0038
loop { }
}
fn main() {
}