[rustc.git] / src / test / ui / const-generics / issues / issue-63322-forbid-dyn.rs

// revisions: full min
#![cfg_attr(full, feature(adt_const_params))]
#![cfg_attr(full, allow(incomplete_features))]

trait A {}
struct B;
impl A for B {}

fn test<const T: &'static dyn A>() {
    //~^ ERROR must be annotated with `#[derive(PartialEq, Eq)]` to be used
    //[min]~^^ ERROR `&'static (dyn A + 'static)` is forbidden
    unimplemented!()
}

fn main() {
    test::<{ &B }>();
}
Commit	Line	Data
1b1a35ee	1	// revisions: full min
94222f64	2	#![cfg_attr(full, feature(adt_const_params))]
1b1a35ee	3	#![cfg_attr(full, allow(incomplete_features))]
f9f354fc XL	4
	5	trait A {}
	6	struct B;
	7	impl A for B {}
	8
	9	fn test<const T: &'static dyn A>() {
	10	//~^ ERROR must be annotated with `#[derive(PartialEq, Eq)]` to be used
1b1a35ee	11	//[min]~^^ ERROR `&'static (dyn A + 'static)` is forbidden
f9f354fc XL	12	unimplemented!()
	13	}
	14
	15	fn main() {
	16	test::<{ &B }>();
	17	}