src/test/ui/const-generics/issues/issue-76595.rs

   1 #![feature(const_generics, const_evaluatable_checked)]
   2 #![allow(incomplete_features)]
   3
   4 struct Bool<const B: bool>;
   5
   6 trait True {}
   7
   8 impl True for Bool<true> {}
   9
  10 fn test<T, const P: usize>() where Bool<{core::mem::size_of::<T>() > 4}>: True {
  11     todo!()
  12 }
  13
  14 fn main() {
  15     test::<2>();
  16     //~^ ERROR this function takes 2 generic arguments
  17 }