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
   7
   8 trait Trait<const NAME: &'static str> {
   9 //[min]~^ ERROR `&'static str` is forbidden
  10     type Assoc;
  11 }
  12
  13 impl Trait<"0"> for () {
  14     type Assoc = ();
  15 }
  16
  17 fn main() {
  18     let _: <() as Trait<"0">>::Assoc = ();
  19 }