1 error[E0308]: mismatched types
2 --> $DIR/universal-mismatched-type.rs:4:5
4 LL | fn foo(x: impl Debug) -> String {
5 | ---------- ------ expected `String` because of return type
9 | ^ expected `String`, found type parameter `impl Debug`
11 = note: expected struct `String`
12 found type parameter `impl Debug`
14 error: aborting due to previous error
16 For more information about this error, try `rustc --explain E0308`.