src/test/ui/const-generics/issues/issue-72787.min.stderr

   1 error: generic parameters must not be used inside of non trivial constant values
   2   --> $DIR/issue-72787.rs:11:17
   3    |
   4 LL |     Condition<{ LHS <= RHS }>: True
   5    |                 ^^^ non-trivial anonymous constants must not depend on the parameter `LHS`
   6    |
   7    = help: it is currently only allowed to use either `LHS` or `{ LHS }` as generic constants
   8
   9 error: generic parameters must not be used inside of non trivial constant values
  10   --> $DIR/issue-72787.rs:11:24
  11    |
  12 LL |     Condition<{ LHS <= RHS }>: True
  13    |                        ^^^ non-trivial anonymous constants must not depend on the parameter `RHS`
  14    |
  15    = help: it is currently only allowed to use either `RHS` or `{ RHS }` as generic constants
  16
  17 error: generic parameters must not be used inside of non trivial constant values
  18   --> $DIR/issue-72787.rs:26:25
  19    |
  20 LL |     IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
  21    |                         ^ non-trivial anonymous constants must not depend on the parameter `I`
  22    |
  23    = help: it is currently only allowed to use either `I` or `{ I }` as generic constants
  24
  25 error: generic parameters must not be used inside of non trivial constant values
  26   --> $DIR/issue-72787.rs:26:36
  27    |
  28 LL |     IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
  29    |                                    ^ non-trivial anonymous constants must not depend on the parameter `J`
  30    |
  31    = help: it is currently only allowed to use either `J` or `{ J }` as generic constants
  32
  33 error[E0283]: type annotations needed
  34   --> $DIR/issue-72787.rs:22:26
  35    |
  36 LL | pub trait True {}
  37    | -------------- required by this bound in `True`
  38 ...
  39 LL |     IsLessOrEqual<I, 8>: True,
  40    |                          ^^^^ cannot infer type for struct `IsLessOrEqual<I, 8_u32>`
  41    |
  42    = note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
  43
  44 error[E0283]: type annotations needed
  45   --> $DIR/issue-72787.rs:22:26
  46    |
  47 LL | pub trait True {}
  48    | -------------- required by this bound in `True`
  49 ...
  50 LL |     IsLessOrEqual<I, 8>: True,
  51    |                          ^^^^ cannot infer type for struct `IsLessOrEqual<I, 8_u32>`
  52    |
  53    = note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
  54
  55 error: aborting due to 6 previous errors
  56
  57 For more information about this error, try `rustc --explain E0283`.