src/test/ui/const-generics/intrinsics-type_name-as-const-argument.rs

   1 // revisions: full min
   2
   3 #![cfg_attr(full, allow(incomplete_features))]
   4 #![cfg_attr(full, feature(const_generics))]
   5 #![cfg_attr(min, feature(min_const_generics))]
   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     //[full]~^^ ERROR constant expression depends on a generic parameter
  18 {
  19     t: T
  20 }
  21
  22 fn main() {}