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

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

#[derive(PartialEq, Eq)]
enum IceEnum {
    Variant
}

struct IceStruct;

impl IceStruct {
    fn ice_struct_fn<const I: IceEnum>() {}
    //[min]~^ ERROR `IceEnum` is forbidden as the type of a const generic parameter
}

fn main() {
    IceStruct::ice_struct_fn::<{IceEnum::Variant}>();
}
Commit	Line	Data
1b1a35ee XL	1	// [full] check-pass
1b1a35ee XL	2	// revisions: full min
94222f64	3	#![cfg_attr(full, feature(adt_const_params))]
1b1a35ee	4	#![cfg_attr(full, allow(incomplete_features))]
3dfed10e XL	5
	6	#[derive(PartialEq, Eq)]
	7	enum IceEnum {
	8	Variant
	9	}
	10
	11	struct IceStruct;
	12
	13	impl IceStruct {
	14	fn ice_struct_fn<const I: IceEnum>() {}
1b1a35ee	15	//[min]~^ ERROR `IceEnum` is forbidden as the type of a const generic parameter
3dfed10e XL	16	}
	17
	18	fn main() {
	19	IceStruct::ice_struct_fn::<{IceEnum::Variant}>();
	20	}