src/test/ui/const-generics/issue-66596-impl-trait-for-str-const-arg.rs

   1 //[full] check-pass
   2 // revisions: full min
   3
   4 #![cfg_attr(full, feature(const_generics))]
   5 #![cfg_attr(full, allow(incomplete_features))]
   6 #![cfg_attr(min, feature(min_const_generics))]
   7
   8
   9 trait Trait<const NAME: &'static str> {
  10 //[min]~^ ERROR `&'static str` is forbidden
  11     type Assoc;
  12 }
  13
  14 impl Trait<"0"> for () {
  15     type Assoc = ();
  16 }
  17
  18 fn main() {
  19     let _: <() as Trait<"0">>::Assoc = ();
  20 }