issue-40294.rs

trait Foo: Sized {
    fn foo(self);
}

fn foo<'a,'b,T>(x: &'a T, y: &'b T)
    where &'a T : Foo, //~ ERROR type annotations needed
          &'b T : Foo
{
    x.foo(); //~ ERROR type annotations needed
    y.foo();
}

fn main() { }

// ferrocene-annotations: fls_xinykul167l
// Array Expressions
// ferrocene-annotations: fls_lv7w7aalpwm5
// Type Inference