8443daf78d
They are mostly necessary for argument mapping during resolution. To support a couple checkers, we transform named args for varargs into "fake" spread expressions. Other than that, named arguments aren't needed for anything and often lead to bugs where we forget to unwrap them for something, so it's better to get rid of them. #KT-66124
35 lines
1.1 KiB
Plaintext
Vendored
35 lines
1.1 KiB
Plaintext
Vendored
FILE: FieldAnnotationWithClasses.kt
|
|
public final annotation class Ann : R|kotlin/Annotation| {
|
|
public constructor(vararg allowedTypes: R|kotlin/Array<out kotlin/reflect/KClass<*>>|): R|Ann| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
public final val allowedTypes: R|kotlin/Array<out kotlin/reflect/KClass<*>>| = R|<local>/allowedTypes|
|
|
public get(): R|kotlin/Array<out kotlin/reflect/KClass<*>>|
|
|
|
|
}
|
|
public final fun foo(): R|kotlin/Unit| {
|
|
local final class Local : R|kotlin/Any| {
|
|
public constructor(): R|<local>/Local| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
field:@FIELD:R|Ann|(allowedTypes = vararg(*<implicitArrayOf>(<getClass>(Q|Some|), <getClass>(Q|Other|)))) public final val x: R|kotlin/Int| = Int(42)
|
|
public get(): R|kotlin/Int|
|
|
|
|
}
|
|
|
|
}
|
|
public final class Some : R|kotlin/Any| {
|
|
public constructor(): R|Some| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
}
|
|
public final class Other : R|kotlin/Any| {
|
|
public constructor(): R|Other| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
}
|