blob: acd149c5854e847fe574af8748a544ff50098526 [file] [log] [blame]
// edition:2018
trait T {
type O;
}
struct S;
impl T for S {
type O = ();
}
fn foo() -> impl T<O=()> { S }
fn bar(f: impl T<O=()>) {}
fn main() {
bar(foo); //~ERROR E0277
}