tests/ui/const-generics/intrinsics-type_name-as-const-argument.rs

   1 // [full] check-pass
   2 // revisions: full min
   3
   4 #![cfg_attr(full, allow(incomplete_features))]
   5 #![cfg_attr(full, feature(adt_const_params, generic_const_exprs))]
   6
   7 #![feature(core_intrinsics)]
   8 #![feature(const_type_name)]
   9
  10 trait Trait<const S: &'static str> {}
  11 //[min]~^ ERROR `&'static str` is forbidden as the type of a const generic parameter
  12
  13 struct Bug<T>
  14 where
  15     T: Trait<{std::intrinsics::type_name::<T>()}>
  16     //[min]~^ ERROR generic parameters may not be used in const operations
  17 {
  18     t: T
  19 }
  20
  21 fn main() {}