tests/ui/const-generics/issues/issue-86530.rs

   1 #![feature(generic_const_exprs)]
   2 #![allow(incomplete_features)]
   3
   4 pub trait X {
   5     const Y: usize;
   6 }
   7
   8 fn z<T>(t: T)
   9 where
  10     T: X,
  11     [(); T::Y]: ,
  12 {
  13 }
  14
  15 fn unit_literals() {
  16     z(" ");
  17     //~^ ERROR: the trait bound `&str: X` is not satisfied
  18 }
  19
  20 fn main() {}