Pavel Kirpichenkov
cb0b44273d
An uninferred parameter stub may leak through calculation of CST(Inv<Uninferred Stub>, Nothing) into a result type. A stub type in the result type means a type error. So we can afford recalculating CST with stub-containing types filtered out, since its an error anyway. This prevents stub types leakages and helps with reporting type error diagnostics. KT-35914 Fixed KT-35943 Fixed
12 lines
410 B
Plaintext
Vendored
12 lines
410 B
Plaintext
Vendored
package
|
|
|
|
public fun </*0*/ T> create(): Inv<T>
|
|
public fun main(): kotlin.Unit
|
|
|
|
public final class Inv</*0*/ I> {
|
|
public constructor Inv</*0*/ I>()
|
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
|
}
|