4 #![cfg_attr(full, allow(incomplete_features))]
5 #![cfg_attr(full, feature(adt_const_params, generic_const_exprs))]
7 #![feature(core_intrinsics)]
8 #![feature(const_type_name)]
10 trait Trait<const S: &'static str> {}
11 //[min]~^ ERROR `&'static str` is forbidden as the type of a const generic parameter
15 T: Trait<{std::intrinsics::type_name::<T>()}>
16 //[min]~^ ERROR generic parameters may not be used in const operations