[rustc.git] / src / test / ui / cross / cross-borrow-trait.rs

// 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 `std::boxed::Box<dyn Trait>`
}
Commit	Line	Data
1a4d82fc JJ	1	// Test that cross-borrowing (implicitly converting from `Box<T>` to `&T`) is
1a4d82fc JJ	2	// forbidden when `T` is a trait.
223e47cc	3
1a4d82fc	4	struct Foo;
85aaf69f	5	trait Trait { fn foo(&self) {} }
1a4d82fc	6	impl Trait for Foo {}
223e47cc LB	7
223e47cc LB	8	pub fn main() {
dc9dc135 XL	9	let x: Box<dyn Trait> = Box::new(Foo);
dc9dc135 XL	10	let _y: &dyn Trait = x; //~ ERROR E0308
60c5eb7d XL	11	//~\| expected reference `&dyn Trait`
60c5eb7d XL	12	//~\| found struct `std::boxed::Box<dyn Trait>`
223e47cc	13	}