1 error: generic parameters may not be used in const operations
2 --> $DIR/issue-72787.rs:11:17
4 LL | Condition<{ LHS <= RHS }>: True
5 | ^^^ cannot perform const operation using `LHS`
7 = help: const parameters may only be used as standalone arguments, i.e. `LHS`
8 = help: use `#![feature(generic_const_exprs)]` to allow generic const expressions
10 error: generic parameters may not be used in const operations
11 --> $DIR/issue-72787.rs:11:24
13 LL | Condition<{ LHS <= RHS }>: True
14 | ^^^ cannot perform const operation using `RHS`
16 = help: const parameters may only be used as standalone arguments, i.e. `RHS`
17 = help: use `#![feature(generic_const_exprs)]` to allow generic const expressions
19 error: generic parameters may not be used in const operations
20 --> $DIR/issue-72787.rs:25:25
22 LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
23 | ^ cannot perform const operation using `I`
25 = help: const parameters may only be used as standalone arguments, i.e. `I`
26 = help: use `#![feature(generic_const_exprs)]` to allow generic const expressions
28 error: generic parameters may not be used in const operations
29 --> $DIR/issue-72787.rs:25:36
31 LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
32 | ^ cannot perform const operation using `J`
34 = help: const parameters may only be used as standalone arguments, i.e. `J`
35 = help: use `#![feature(generic_const_exprs)]` to allow generic const expressions
37 error[E0283]: type annotations needed: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
38 --> $DIR/issue-72787.rs:21:26
40 LL | IsLessOrEqual<I, 8>: True,
43 = note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
45 error[E0283]: type annotations needed: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
46 --> $DIR/issue-72787.rs:21:26
48 LL | IsLessOrEqual<I, 8>: True,
51 = note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
53 error: aborting due to 6 previous errors
55 For more information about this error, try `rustc --explain E0283`.