]>
Commit | Line | Data |
---|---|---|
29967ef6 | 1 | error: generic parameters may not be used in const operations |
5869c6ff | 2 | --> $DIR/issue-72787.rs:10:17 |
1b1a35ee XL |
3 | | |
4 | LL | Condition<{ LHS <= RHS }>: True | |
29967ef6 | 5 | | ^^^ cannot perform const operation using `LHS` |
1b1a35ee | 6 | | |
29967ef6 | 7 | = help: const parameters may only be used as standalone arguments, i.e. `LHS` |
fc512014 | 8 | = help: use `#![feature(const_generics)]` and `#![feature(const_evaluatable_checked)]` to allow generic const expressions |
1b1a35ee | 9 | |
29967ef6 | 10 | error: generic parameters may not be used in const operations |
5869c6ff | 11 | --> $DIR/issue-72787.rs:10:24 |
1b1a35ee XL |
12 | | |
13 | LL | Condition<{ LHS <= RHS }>: True | |
29967ef6 | 14 | | ^^^ cannot perform const operation using `RHS` |
1b1a35ee | 15 | | |
29967ef6 | 16 | = help: const parameters may only be used as standalone arguments, i.e. `RHS` |
fc512014 | 17 | = help: use `#![feature(const_generics)]` and `#![feature(const_evaluatable_checked)]` to allow generic const expressions |
1b1a35ee | 18 | |
29967ef6 | 19 | error: generic parameters may not be used in const operations |
5869c6ff | 20 | --> $DIR/issue-72787.rs:25:25 |
1b1a35ee XL |
21 | | |
22 | LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True, | |
29967ef6 | 23 | | ^ cannot perform const operation using `I` |
1b1a35ee | 24 | | |
29967ef6 | 25 | = help: const parameters may only be used as standalone arguments, i.e. `I` |
fc512014 | 26 | = help: use `#![feature(const_generics)]` and `#![feature(const_evaluatable_checked)]` to allow generic const expressions |
1b1a35ee | 27 | |
29967ef6 | 28 | error: generic parameters may not be used in const operations |
5869c6ff | 29 | --> $DIR/issue-72787.rs:25:36 |
1b1a35ee XL |
30 | | |
31 | LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True, | |
29967ef6 | 32 | | ^ cannot perform const operation using `J` |
1b1a35ee | 33 | | |
29967ef6 | 34 | = help: const parameters may only be used as standalone arguments, i.e. `J` |
fc512014 | 35 | = help: use `#![feature(const_generics)]` and `#![feature(const_evaluatable_checked)]` to allow generic const expressions |
1b1a35ee XL |
36 | |
37 | error[E0283]: type annotations needed | |
5869c6ff | 38 | --> $DIR/issue-72787.rs:21:26 |
1b1a35ee XL |
39 | | |
40 | LL | pub trait True {} | |
41 | | -------------- required by this bound in `True` | |
42 | ... | |
43 | LL | IsLessOrEqual<I, 8>: True, | |
44 | | ^^^^ cannot infer type for struct `IsLessOrEqual<I, 8_u32>` | |
45 | | | |
46 | = note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True` | |
47 | ||
48 | error[E0283]: type annotations needed | |
5869c6ff | 49 | --> $DIR/issue-72787.rs:21:26 |
1b1a35ee XL |
50 | | |
51 | LL | pub trait True {} | |
52 | | -------------- required by this bound in `True` | |
53 | ... | |
54 | LL | IsLessOrEqual<I, 8>: True, | |
55 | | ^^^^ cannot infer type for struct `IsLessOrEqual<I, 8_u32>` | |
56 | | | |
57 | = note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True` | |
58 | ||
59 | error: aborting due to 6 previous errors | |
60 | ||
61 | For more information about this error, try `rustc --explain E0283`. |