]> git.lizzy.rs Git - rust.git/blob - tests/ui/generic-associated-types/issue-68648-2.stderr
internally change regions to be covariant
[rust.git] / tests / ui / generic-associated-types / issue-68648-2.stderr
1 error[E0308]: mismatched types
2   --> $DIR/issue-68648-2.rs:12:17
3    |
4 LL | fn bug<'a, T: Fun<F<'a> = T>>(t: T) -> T::F<'a> {
5    |            - this type parameter
6 LL |     T::identity(())
7    |     ----------- ^^ expected type parameter `T`, found `()`
8    |     |
9    |     arguments to this function are incorrect
10    |
11    = note: expected type parameter `T`
12                    found unit type `()`
13 note: associated function defined here
14   --> $DIR/issue-68648-2.rs:4:8
15    |
16 LL |     fn identity<'a>(t: Self::F<'a>) -> Self::F<'a> { t }
17    |        ^^^^^^^^     --------------
18
19 error: aborting due to previous error
20
21 For more information about this error, try `rustc --explain E0308`.