error[E0283]: type annotations required: cannot resolve `&'a T: Foo`
- --> $DIR/issue-21974.rs:20:1
+ --> $DIR/issue-21974.rs:10:1
|
-LL | / fn foo<'a,'b,T>(x: &'a T, y: &'b T) //~ ERROR type annotations required
+LL | / fn foo<'a,'b,T>(x: &'a T, y: &'b T)
LL | | where &'a T : Foo,
LL | | &'b T : Foo
LL | | {
| |_^
|
note: required by `Foo`
- --> $DIR/issue-21974.rs:16:1
+ --> $DIR/issue-21974.rs:6:1
|
LL | trait Foo {
| ^^^^^^^^^