Do I miss something or type inference is confused ...

# announcements

[ghedeon]

Do I miss something or type inference is confused here?

A. Works

interface I

class Main : Base<MainParam<*>>
class MainParam<T : I> : BaseParam

interface Base<T : BaseParam>
interface BaseParam

B. Doesn't (Type argument is not within its bounds)

interface I

class Main : Base<Main.MainParam<*>> {
    class MainParam<T : I> : BaseParam
}

interface Base<T : BaseParam>
interface BaseParam

[nikolaymetchev]

In java you would probably have to declare MainParam as a static class to get this to work. Kotlin I don’t think has static classes. You could try declaring MainParam in the companion object.

[ghedeon]

Seems like a bug, similar to https://youtrack.jetbrains.com/issue/KT-29743. Will wait for confirmation

[Sergei Dubrov [JB]]

Thank you! Added your case to KT-29743.