I have a hard time wrapping my head around a diffe...

# getting-started

[Hullaballoonatic]

I have a hard time wrapping my head around a difference between F and Foo<F> here:

interface Foo<F: Foo<F>> {
    val a: F
    val b: Foo<F>
}

so what is assignable to a and b?

[Ruckus]

You can check out this SO question: https://stackoverflow.com/questions/211143/java-enum-definition

[Hullaballoonatic]

I understand their need well enough, which that SO question addresses. I updated OP to be more on point with my confusion

[Ruckus]

a can only take the F specified by the implementation, whereas b can take any Foo<f>.
For example:

interface Bar : Foo<Bar>
class Quux : Foo<Bar> {
    override val a: Bar = ... // Must be a `Bar`
    override val b: Foo<Bar> = ...  // Can be `this` or `a` or any other `Foo<Bar>`
}

[Hullaballoonatic]

thanks. i think i was overcomplicating it