]>
Commit | Line | Data |
---|---|---|
add651ee FG |
1 | error[E0275]: overflow evaluating the requirement `<() as Foo>::Item: Copy` |
2 | --> $DIR/alias-bound-unsound.rs:18:17 | |
3 | | | |
4 | LL | type Item = String where String: Copy; | |
5 | | ^^^^^^ | |
6 | | | |
7 | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`) | |
8 | note: required by a bound in `Foo::Item` | |
9 | --> $DIR/alias-bound-unsound.rs:8:16 | |
10 | | | |
11 | LL | type Item: Copy | |
12 | | ^^^^ required by this bound in `Foo::Item` | |
13 | ||
14 | error[E0282]: type annotations needed | |
15 | --> $DIR/alias-bound-unsound.rs:24:5 | |
16 | | | |
17 | LL | drop(<() as Foo>::copy_me(&x)); | |
18 | | ^^^^ cannot infer type of the type parameter `T` declared on the function `drop` | |
19 | | | |
20 | help: consider specifying the generic argument | |
21 | | | |
22 | LL | drop::<T>(<() as Foo>::copy_me(&x)); | |
23 | | +++++ | |
24 | ||
25 | error[E0275]: overflow evaluating the requirement `&<() as Foo>::Item well-formed` | |
26 | --> $DIR/alias-bound-unsound.rs:24:31 | |
49aad941 FG |
27 | | |
28 | LL | drop(<() as Foo>::copy_me(&x)); | |
fe692bf9 | 29 | | ^^ |
add651ee FG |
30 | | |
31 | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`) | |
49aad941 | 32 | |
add651ee FG |
33 | error[E0275]: overflow evaluating the requirement `String <: <() as Foo>::Item` |
34 | --> $DIR/alias-bound-unsound.rs:24:31 | |
35 | | | |
36 | LL | drop(<() as Foo>::copy_me(&x)); | |
37 | | ^^ | |
38 | | | |
39 | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`) | |
40 | ||
41 | error[E0275]: overflow evaluating the requirement `<() as Foo>::Item well-formed` | |
42 | --> $DIR/alias-bound-unsound.rs:24:10 | |
43 | | | |
44 | LL | drop(<() as Foo>::copy_me(&x)); | |
45 | | ^^^^^^^^^^^^^^^^^^^^^^^^ | |
46 | | | |
47 | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`) | |
48 | ||
49 | error[E0275]: overflow evaluating the requirement `<() as Foo>::Item == _` | |
50 | --> $DIR/alias-bound-unsound.rs:24:10 | |
49aad941 FG |
51 | | |
52 | LL | drop(<() as Foo>::copy_me(&x)); | |
53 | | ^^^^^^^^^^^^^^^^^^^^^^^^ | |
add651ee FG |
54 | | |
55 | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`) | |
56 | ||
57 | error[E0275]: overflow evaluating the requirement `<() as Foo>::Item: Sized` | |
58 | --> $DIR/alias-bound-unsound.rs:24:10 | |
59 | | | |
60 | LL | drop(<() as Foo>::copy_me(&x)); | |
61 | | ^^^^^^^^^^^^^^^^^^^^ | |
62 | | | |
63 | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`) | |
64 | = note: the return type of a function must have a statically known size | |
49aad941 | 65 | |
add651ee | 66 | error: aborting due to 7 previous errors |
49aad941 | 67 | |
add651ee FG |
68 | Some errors have detailed explanations: E0275, E0282. |
69 | For more information about an error, try `rustc --explain E0275`. |