Visit param_env field in Obligation's TypeFoldable impl · rust-lang/rust@a7cc6bc (original) (raw)
1
1
`error: generic parameters may not be used in const operations
`
2
``
`-
--> $DIR/issue-72787.rs:11:17
`
``
2
`+
--> $DIR/issue-72787.rs:12:17
`
3
3
` |
`
4
4
`LL | Condition<{ LHS <= RHS }>: True
`
5
5
`` | ^^^ cannot perform const operation using LHS
``
`@@ -8,7 +8,7 @@ LL | Condition<{ LHS <= RHS }>: True
`
8
8
`` = help: use #![feature(generic_const_exprs)] to allow generic const expressions
``
9
9
``
10
10
`error: generic parameters may not be used in const operations
`
11
``
`-
--> $DIR/issue-72787.rs:11:24
`
``
11
`+
--> $DIR/issue-72787.rs:12:24
`
12
12
` |
`
13
13
`LL | Condition<{ LHS <= RHS }>: True
`
14
14
`` | ^^^ cannot perform const operation using RHS
``
`@@ -17,7 +17,7 @@ LL | Condition<{ LHS <= RHS }>: True
`
17
17
`` = help: use #![feature(generic_const_exprs)] to allow generic const expressions
``
18
18
``
19
19
`error: generic parameters may not be used in const operations
`
20
``
`-
--> $DIR/issue-72787.rs:25:25
`
``
20
`+
--> $DIR/issue-72787.rs:26:25
`
21
21
` |
`
22
22
`LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
`
23
23
`` | ^ cannot perform const operation using I
``
`@@ -26,7 +26,7 @@ LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
`
26
26
`` = help: use #![feature(generic_const_exprs)] to allow generic const expressions
``
27
27
``
28
28
`error: generic parameters may not be used in const operations
`
29
``
`-
--> $DIR/issue-72787.rs:25:36
`
``
29
`+
--> $DIR/issue-72787.rs:26:36
`
30
30
` |
`
31
31
`LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
`
32
32
`` | ^ cannot perform const operation using J
``
`@@ -35,21 +35,29 @@ LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
`
35
35
`` = help: use #![feature(generic_const_exprs)] to allow generic const expressions
``
36
36
``
37
37
`error[E0283]: type annotations needed
`
38
``
`-
--> $DIR/issue-72787.rs:21:26
`
``
38
`+
--> $DIR/issue-72787.rs:10:38
`
``
39
`+
|
`
``
40
`+
LL | impl<const LHS: u32, const RHS: u32> True for IsLessOrEqual<LHS, RHS> where
`
``
41
`` +
| ^^^^ cannot infer type for struct IsLessOrEqual<LHS, RHS>
``
``
42
`+
|
`
``
43
`` +
= note: cannot satisfy IsLessOrEqual<LHS, RHS>: True
``
``
44
+
``
45
`+
error[E0283]: type annotations needed
`
``
46
`+
--> $DIR/issue-72787.rs:22:26
`
39
47
` |
`
40
48
`LL | IsLessOrEqual<I, 8>: True,
`
41
49
`` | ^^^^ cannot infer type for struct IsLessOrEqual<I, 8_u32>
``
42
50
` |
`
43
51
`` = note: cannot satisfy IsLessOrEqual<I, 8_u32>: True
``
44
52
``
45
53
`error[E0283]: type annotations needed
`
46
``
`-
--> $DIR/issue-72787.rs:21:26
`
``
54
`+
--> $DIR/issue-72787.rs:22:26
`
47
55
` |
`
48
56
`LL | IsLessOrEqual<I, 8>: True,
`
49
57
`` | ^^^^ cannot infer type for struct IsLessOrEqual<I, 8_u32>
``
50
58
` |
`
51
59
`` = note: cannot satisfy IsLessOrEqual<I, 8_u32>: True
``
52
60
``
53
``
`-
error: aborting due to 6 previous errors
`
``
61
`+
error: aborting due to 7 previous errors
`
54
62
``
55
63
`` For more information about this error, try rustc --explain E0283.
``