about summary refs log tree commit diff
path: root/tests/ui/type-alias-impl-trait/issue-70121.stderr
blob: 8388998956ffb44791062808878803527b5393a2 (plain)
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`.