1 error: constant expression depends on a generic parameter
2 --> $DIR/issue-72787.rs:9:32
4 LL | Condition<{ LHS <= RHS }>: True
7 = note: this may fail depending on what value the parameter takes
9 error: constant expression depends on a generic parameter
10 --> $DIR/issue-72787.rs:20:42
12 LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
15 = note: this may fail depending on what value the parameter takes
17 error: constant expression depends on a generic parameter
18 --> $DIR/issue-72787.rs:20:42
20 LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
23 = note: this may fail depending on what value the parameter takes
25 error: constant expression depends on a generic parameter
26 --> $DIR/issue-72787.rs:20:42
28 LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
31 = note: this may fail depending on what value the parameter takes
33 error: constant expression depends on a generic parameter
34 --> $DIR/issue-72787.rs:20:42
36 LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
39 = note: this may fail depending on what value the parameter takes
41 error: aborting due to 5 previous errors