diff options
Diffstat (limited to 'src/test/compile-fail/object-does-not-impl-trait.rs')
| -rw-r--r-- | src/test/compile-fail/object-does-not-impl-trait.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/test/compile-fail/object-does-not-impl-trait.rs b/src/test/compile-fail/object-does-not-impl-trait.rs index cfaf149a49c..607ab13d122 100644 --- a/src/test/compile-fail/object-does-not-impl-trait.rs +++ b/src/test/compile-fail/object-does-not-impl-trait.rs @@ -11,8 +11,9 @@ // Test that an object type `Box<Foo>` is not considered to implement the // trait `Foo`. Issue #5087. +use std::marker::MarkerTrait; -trait Foo {} +trait Foo : MarkerTrait {} fn take_foo<F:Foo>(f: F) {} fn take_object(f: Box<Foo>) { take_foo(f); } //~^ ERROR the trait `Foo` is not implemented |