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

   1 #![allow(incomplete_features)]
   2 #![feature(generic_const_exprs)]
   3
   4 struct ConstAssert<const COND: bool>;
   5 trait True {}
   6 impl True for ConstAssert<true> {}
   7
   8 struct Range<T: PartialOrd, const MIN: T, const MAX: T>(T)
   9 //~^ ERROR the type of const parameters must not depend on other generic parameters
  10 //~| ERROR the type of const parameters must not depend on other generic parameters
  11 where
  12     ConstAssert<{ MIN <= MAX }>: True;
  13
  14 fn main() {}