summaryrefslogtreecommitdiffstats
path: root/src/test/ui/cross/cross-borrow-trait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/cross/cross-borrow-trait.rs')
-rw-r--r--src/test/ui/cross/cross-borrow-trait.rs13
1 files changed, 0 insertions, 13 deletions
diff --git a/src/test/ui/cross/cross-borrow-trait.rs b/src/test/ui/cross/cross-borrow-trait.rs
deleted file mode 100644
index 180a75e3d..000000000
--- a/src/test/ui/cross/cross-borrow-trait.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-// Test that cross-borrowing (implicitly converting from `Box<T>` to `&T`) is
-// forbidden when `T` is a trait.
-
-struct Foo;
-trait Trait { fn foo(&self) {} }
-impl Trait for Foo {}
-
-pub fn main() {
- let x: Box<dyn Trait> = Box::new(Foo);
- let _y: &dyn Trait = x; //~ ERROR E0308
- //~| expected reference `&dyn Trait`
- //~| found struct `Box<dyn Trait>`
-}