summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/impl-object-overlap-issue-23853.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/impl-object-overlap-issue-23853.rs')
-rw-r--r--src/test/ui/traits/impl-object-overlap-issue-23853.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/traits/impl-object-overlap-issue-23853.rs b/src/test/ui/traits/impl-object-overlap-issue-23853.rs
deleted file mode 100644
index e490967b6..000000000
--- a/src/test/ui/traits/impl-object-overlap-issue-23853.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// run-pass
-// Test that we are able to compile the case where both a blanket impl
-// and the object type itself supply the required trait obligation.
-// In this case, the blanket impl for `Foo` applies to any type,
-// including `Bar`, but the object type `Bar` also implicitly supplies
-// this context.
-
-trait Foo { fn dummy(&self) { } }
-
-trait Bar: Foo { }
-
-impl<T:?Sized> Foo for T { }
-
-fn want_foo<B:?Sized+Foo>() { }
-
-fn main() {
- want_foo::<dyn Bar>();
-}