[rustc.git] / src / test / ui / const-generics / issues / issue-77357.rs

#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

trait MyTrait<T> {}

fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
    //~^ ERROR overly complex generic constant
    todo!()
}

fn main() {}
Commit	Line	Data
04454e1e FG	1	#![feature(generic_const_exprs)]
	2	#![allow(incomplete_features)]
	3
	4	trait MyTrait<T> {}
	5
	6	fn bug<'a, T>() -> &'static dyn MyTrait<[(); { \|x: &'a u32\| { x }; 4 }]> {
	7	//~^ ERROR overly complex generic constant
	8	todo!()
	9	}
	10
	11	fn main() {}