1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
error[E0308]: mismatched types
--> $DIR/issue-70121.rs:19:5
|
LL | pub type Successors<'a> = impl Iterator<Item = &'a ()>;
| ---------------------------- the expected opaque type
...
LL | pub fn kazusa<'a>() -> <&'a () as Tr>::Item {
| -------------------- expected `Successors<'a>` because of return type
LL | None.into_iter()
| ^^^^^^^^^^^^^^^^ expected opaque type, found `IntoIter<_>`
|
= note: expected opaque type `Successors<'a>`
found struct `std::option::IntoIter<_>`
note: this item must have a `#[define_opaque(Successors)]` attribute to be able to define hidden types
--> $DIR/issue-70121.rs:18:8
|
LL | pub fn kazusa<'a>() -> <&'a () as Tr>::Item {
| ^^^^^^
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0308`.
|
