about summary refs log tree commit diff
path: root/compiler/rustc_error_codes/src/error_codes/E0562.md
blob: af7b219fb12071ff2dff2093171254128a56c21e (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
`impl Trait` is only allowed as a function return and argument type.

Erroneous code example:

```compile_fail,E0562
fn main() {
    let count_to_ten: impl Iterator<Item=usize> = 0..10;
    // error: `impl Trait` not allowed outside of function and inherent method
    //        return types
    for i in count_to_ten {
        println!("{}", i);
    }
}
```

Make sure `impl Trait` appears in a function signature.

```
fn count_to_n(n: usize) -> impl Iterator<Item=usize> {
    0..n
}

fn main() {
    for i in count_to_n(10) {  // ok!
        println!("{}", i);
    }
}
```

See the [reference] for more details on `impl Trait`.

[reference]: https://doc.rust-lang.org/stable/reference/types/impl-trait.html