0804c6a0f3
This commit introduces several different things, in particular: - check type arguments in expressions - new TypeArgumentList node to deal with diagnostic source - ConeDiagnostic was moved to fir:cones - ConeIntermediateDiagnostic to use in inference (?) without reporting - detailed diagnostics on error type
38 lines
990 B
Plaintext
Vendored
38 lines
990 B
Plaintext
Vendored
FILE: test.kt
|
|
public sealed class Test : R|kotlin/Any| {
|
|
private constructor(): R|test/Test| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
public final object O : R|test/Test| {
|
|
private constructor(): R|test/Test.O| {
|
|
super<R|test/Test|>()
|
|
}
|
|
|
|
}
|
|
|
|
public final class Extra : R|test/Test| {
|
|
public constructor(x: R|kotlin/Int|): R|test/Test.Extra| {
|
|
super<R|test/Test|>()
|
|
}
|
|
|
|
public final val x: R|kotlin/Int| = R|<local>/x|
|
|
public get(): R|kotlin/Int|
|
|
|
|
}
|
|
|
|
}
|
|
FILE: main.kt
|
|
public abstract class Factory : R|kotlin/Any| {
|
|
public constructor(): R|other/Factory| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
public abstract fun createTest(): <ERROR TYPE REF: Symbol not found, for `Test`>
|
|
|
|
public abstract fun createObj(): R|test/Test.O|
|
|
|
|
public abstract fun createExtra(): R|test/Test.Extra|
|
|
|
|
}
|