summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/generator.fail.stderr
blob: d94d41e3587b6572162e2122fc22c7fb4222eb0b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
error[E0277]: the trait bound `[generator@$DIR/generator.rs:18:21: 18:23]: Generator<A>` is not satisfied
  --> $DIR/generator.rs:18:21
   |
LL |       needs_generator(|| {
   |  _____---------------_^
   | |     |
   | |     required by a bound introduced by this call
LL | |
LL | |
LL | |
LL | |         yield ();
LL | |     });
   | |_____^ the trait `Generator<A>` is not implemented for `[generator@$DIR/generator.rs:18:21: 18:23]`
   |
note: required by a bound in `needs_generator`
  --> $DIR/generator.rs:14:28
   |
LL | fn needs_generator(_: impl Generator<A, Yield = B, Return = C>) {}
   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `needs_generator`

error[E0271]: type mismatch resolving `<[generator@$DIR/generator.rs:18:21: 18:23] as Generator<A>>::Yield == B`
  --> $DIR/generator.rs:18:21
   |
LL |       needs_generator(|| {
   |  _____---------------_^
   | |     |
   | |     required by a bound introduced by this call
LL | |
LL | |
LL | |
LL | |         yield ();
LL | |     });
   | |_____^ types differ
   |
note: required by a bound in `needs_generator`
  --> $DIR/generator.rs:14:41
   |
LL | fn needs_generator(_: impl Generator<A, Yield = B, Return = C>) {}
   |                                         ^^^^^^^^^ required by this bound in `needs_generator`

error[E0271]: type mismatch resolving `<[generator@$DIR/generator.rs:18:21: 18:23] as Generator<A>>::Return == C`
  --> $DIR/generator.rs:18:21
   |
LL |       needs_generator(|| {
   |  _____---------------_^
   | |     |
   | |     required by a bound introduced by this call
LL | |
LL | |
LL | |
LL | |         yield ();
LL | |     });
   | |_____^ types differ
   |
note: required by a bound in `needs_generator`
  --> $DIR/generator.rs:14:52
   |
LL | fn needs_generator(_: impl Generator<A, Yield = B, Return = C>) {}
   |                                                    ^^^^^^^^^^ required by this bound in `needs_generator`

error: aborting due to 3 previous errors

Some errors have detailed explanations: E0271, E0277.
For more information about an error, try `rustc --explain E0271`.