I think I found a compiler frontend bug. Can you g...

# announcements

[Pere Casafont]

I think I found a compiler frontend bug. Can you guys get this piece to compile?

class A

inline fun <reified T> A.foo(): T = TODO("Not necessary to implement")

open class B {
    val a = A()
    inline fun <reified T> foo() = bar { foo() }
    fun <T> bar(baz: A.() -> T) = a.baz()
    companion object : B()
}

[Gabriel Shanahan]

Renaming A.foo to something else should do the trick

[Gabriel Shanahan]

(or B.foo)

[Pere Casafont]

I got to fix it, yes, but I think the compiler should have a more graceful error

[Pere Casafont]

it says internal error to me

[Kroppeb]

Interesting, renaming A.foo doesn't work

[Gabriel Shanahan]

at least in a scratch file it also prints a stack trace, which says the problem is recursion

[Gabriel Shanahan]

there should be a way to specify that you're referencing the foo on A, such as [e-mail], but that doesn't work

[Kroppeb]

I'm guessing someting with a cyclic type or something

[Kroppeb]

Using inline fun <reified T> foo():T = bar { this.foo() } seems to work

[Gabriel Shanahan]

I got it to work in a scratch using the following:

class A {
    inline fun A.fooA(): Unit = TODO("Not necessary to implement")
}

open class B {
    val a = A()
    inline fun <reified T> foo() = bar { fooA() }
    fun <T> bar(baz: A.() -> T) = a.baz()
    companion object : B()
}

[Gabriel Shanahan]

interestingly enough, it doesn't work if fooA is an extension. Don't know why though

[Kroppeb]

I think it's caused by the fact extension functions have less priority than member functions.

[Gabriel Shanahan]

While that is true, this only come into play when there are conflicts. There is only one fooA defined, so it shouldn't matter whether it's defined as an extension or a member

[Kroppeb]

You removed the reified T

[Pere Casafont]

specifying the returned types in the B functions fixes it, but my point is that nothing should be breaking the compiler 😛

[Gabriel Shanahan]

https://youtrack.jetbrains.com/issues/KT

[Gabriel Shanahan]

it's not the first nor the last unfortunately 🙂