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

   1 // check-pass
   2
   3 #![allow(incomplete_features)]
   4 #![feature(generic_const_exprs)]
   5
   6 pub struct Assert<const COND: bool>();
   7 pub trait IsTrue {}
   8 impl IsTrue for Assert<true> {}
   9
  10 pub trait IsNotZST {}
  11 impl<T> IsNotZST for T where Assert<{ std::mem::size_of::<T>() > 0 }>: IsTrue {}
  12
  13 fn main() {}