[rustc.git] / src / test / ui / traits / issue-72410.rs

// Regression test for #72410, this should be used with debug assertion enabled.

// should be fine
pub trait Foo {
    fn map()
    where
        Self: Sized,
        for<'a> &'a mut [u8]: ;
}

// should fail
pub trait Bar {
    fn map()
    where for<'a> &'a mut [dyn Bar]: ;
    //~^ ERROR: the trait `Bar` cannot be made into an object
}

fn main() {}
Commit	Line	Data
3dfed10e XL	1	// Regression test for #72410, this should be used with debug assertion enabled.
	2
	3	// should be fine
	4	pub trait Foo {
	5	fn map()
	6	where
	7	Self: Sized,
	8	for<'a> &'a mut [u8]: ;
	9	}
	10
	11	// should fail
	12	pub trait Bar {
	13	fn map()
	14	where for<'a> &'a mut [dyn Bar]: ;
	15	//~^ ERROR: the trait `Bar` cannot be made into an object
	16	}
	17
	18	fn main() {}