[rustc.git] / src / test / ui / lazy_normalization_consts / issue-57739.rs

#![feature(lazy_normalization_consts)]
//~^ WARN the feature `lazy_normalization_consts` is incomplete
trait ArraySizeTrait {
    const SIZE: usize = 0;
}

impl<T: ?Sized> ArraySizeTrait for T {
    const SIZE: usize = 1;
}

struct SomeArray<T: ArraySizeTrait> {
    array: [u8; T::SIZE],
    //~^ ERROR constant expression depends on a generic parameter
    phantom: std::marker::PhantomData<T>,
}

fn main() {}
Commit	Line	Data
f035d41b XL	1	#![feature(lazy_normalization_consts)]
	2	//~^ WARN the feature `lazy_normalization_consts` is incomplete
	3	trait ArraySizeTrait {
	4	const SIZE: usize = 0;
	5	}
	6
	7	impl<T: ?Sized> ArraySizeTrait for T {
	8	const SIZE: usize = 1;
	9	}
	10
	11	struct SomeArray<T: ArraySizeTrait> {
	12	array: [u8; T::SIZE],
	13	//~^ ERROR constant expression depends on a generic parameter
	14	phantom: std::marker::PhantomData<T>,
	15	}
	16
	17	fn main() {}