recursive bounds do not work (a.k.a., f-bounded polymorphism)

[nikomatsakis]

The following fails:

iface foo<A> { }
fn bar(A: foo<A>) { ... }

Weird as it looks there are good use cases for this. We should support it. IIRC, the code almost does it right, or maybe even does it right, if the name resolution were patched up properly.

[pnkfelix]

@nikomatsakis So, obviously your example is using out-dated syntax, but just to be clear:

You're talking about bounds on a type-parameter, not on a value-parameter, right?

I.e. I would write your example as something like:

trait foo<A> { }

fn bar<A : foo<A> >(_x: A) { /* ... */ }

[pnkfelix]

Also, the trivial form I give above compiles; so I'll try to come up with a real-world use case of f-bounded polymorphism just to double-check that this bug is still a real problem.

[nikomatsakis]

it's very possible that it works now

[alexcrichton]

Visiting for triage, I agree that this compiles today. It sounds like we're not sure what an example test case of this would be, so I'm going to close for now and this can be re-opened if a test case comes up. Feel free to also reopen if you think there's more to do!

[emberian]

Needs a test in the suite before it should be closed.

[pnkfelix]

reassigning to self so that I remember to make a test