src/test/ui/const-generics/generic_const_exprs/issue-72787.rs

   1 // [full] check-pass
   2 // revisions: full min
   3 #![cfg_attr(full, feature(generic_const_exprs))]
   4 #![cfg_attr(full, allow(incomplete_features))]
   5
   6 pub struct IsLessOrEqual<const LHS: u32, const RHS: u32>;
   7 pub struct Condition<const CONDITION: bool>;
   8 pub trait True {}
   9
  10 impl<const LHS: u32, const RHS: u32> True for IsLessOrEqual<LHS, RHS> where
  11     Condition<{ LHS <= RHS }>: True
  12 //[min]~^ Error generic parameters may not be used in const operations
  13 //[min]~| Error generic parameters may not be used in const operations
  14 {
  15 }
  16 impl True for Condition<true> {}
  17
  18 struct S<const I: u32, const J: u32>;
  19 impl<const I: u32, const J: u32> S<I, J>
  20 where
  21     IsLessOrEqual<I, 8>: True,
  22 //[min]~^ Error type annotations needed [E0283]
  23 //[min]~| Error type annotations needed [E0283]
  24     IsLessOrEqual<J, 8>: True,
  25     IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
  26 //[min]~^ Error generic parameters may not be used in const operations
  27 //[min]~| Error generic parameters may not be used in const operations
  28     // Condition<{ 8 - I <= 8 - J }>: True,
  29 {
  30     fn print() {
  31         println!("I {} J {}", I, J);
  32     }
  33 }
  34
  35 fn main() {}