Type parameters are not substituted or generated in some cases

[trilis]

There are several cases where type parameters are not handled properly. Here are some examples:

Object type

source:

declare class B<T> {
    f(x: { f: Array<T> })
} 

generated:

external interface `T$0` {
    var f: Array<T>
}

external open class B<T> {
    open fun f(x: `T$0`)
}

Interface T$0 is lacking type parameter T.

Type alias with type parameter

source:

type Or<T, U> = { f: T } | { g: U }

declare class B {
    f(x: Or<number, string>)
} 

generated:

external interface `T$0`<T> {
    var f: T
}

external interface `T$1`<U> {
    var g: U
}

external open class B {
    open fun f(x: `T$0`<T>)
    open fun f(x: `T$1`<U>)
}

T and U are not substituted with number and string.

Default type parameter inside type alias

source:

type ComplexType<A, B, C = Array<A>> = A | B | C

declare class A {
    x: ComplexType<number, string>
} 

generated:

external open class A {
    open var x: dynamic /* Number | String | C */
}

C is not substituted with Array<Number>.