File tree 3 files changed +4
-12
lines changed
3 files changed +4
-12
lines changed Original file line number Diff line number Diff line change @@ -20,7 +20,6 @@ unsafe auto trait Trait {
20
20
fn call_method < T : Trait > ( x : T ) { }
21
21
22
22
fn main ( ) {
23
- // ICE
24
23
call_method ( ( ) ) ;
25
- //~^ ERROR
24
+ //~^^^^^^^^^^^^^^^^^^^^^^^ ERROR overflow evaluating the requirement
26
25
}
Original file line number Diff line number Diff line change 13
13
// fail the `Send` check by overflow when the recursion limit is set
14
14
// very low.
15
15
16
+ //~^^^^^^^^^^^^^^^ ERROR overflow evaluating the requirement
17
+
16
18
#![ allow( dead_code) ]
17
19
#![ recursion_limit="10" ]
18
20
@@ -41,5 +43,5 @@ enum N { N(usize) }
41
43
fn is_send < T : Send > ( ) { }
42
44
43
45
fn main ( ) {
44
- is_send :: < A > ( ) ; //~ ERROR overflow evaluating the requirement
46
+ is_send :: < A > ( ) ;
45
47
}
Original file line number Diff line number Diff line change 1
1
error[E0275]: overflow evaluating the requirement `K: std::marker::Send`
2
- --> $DIR/recursion_limit.rs:44:5
3
- |
4
- LL | is_send::<A>(); //~ ERROR overflow evaluating the requirement
5
- | ^^^^^^^^^^^^
6
2
|
7
3
= help: consider adding a `#![recursion_limit="20"]` attribute to your crate
8
4
= note: required because it appears within the type `J`
@@ -15,11 +11,6 @@ LL | is_send::<A>(); //~ ERROR overflow evaluating the requirement
15
11
= note: required because it appears within the type `C`
16
12
= note: required because it appears within the type `B`
17
13
= note: required because it appears within the type `A`
18
- note: required by `is_send`
19
- --> $DIR/recursion_limit.rs:41:1
20
- |
21
- LL | fn is_send<T:Send>() { }
22
- | ^^^^^^^^^^^^^^^^^^^^
23
14
24
15
error: aborting due to previous error
25
16
You can’t perform that action at this time.
0 commit comments