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
77 lines
2.8 KiB
Plaintext
Vendored
77 lines
2.8 KiB
Plaintext
Vendored
FILE: lambda.kt
|
|
public final fun foo(f: R|() -> kotlin/Unit|): R|kotlin/Unit| {
|
|
}
|
|
public final fun bar(x: R|kotlin/Int|, f: R|() -> kotlin/Unit|): R|kotlin/Unit| {
|
|
}
|
|
public final fun baz(f: R|() -> kotlin/Unit|, other: R|kotlin/Boolean| = Boolean(true)): R|kotlin/Unit| {
|
|
}
|
|
public final fun test(): R|kotlin/Unit| {
|
|
R|/foo|(<L> = foo@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@foo Unit
|
|
}
|
|
)
|
|
R|/foo|(<L> = foo@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@foo Unit
|
|
}
|
|
)
|
|
R|/foo|(foo@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@foo Unit
|
|
}
|
|
)
|
|
R|/foo<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /foo>#|(Int(1), <L> = foo@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@foo Unit
|
|
}
|
|
)
|
|
R|/foo<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /foo>#|(foo@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@foo Unit
|
|
}
|
|
, <L> = foo@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@foo Unit
|
|
}
|
|
)
|
|
R|/bar|(Int(1), <L> = bar@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@bar Unit
|
|
}
|
|
)
|
|
R|/bar|(Int(1), <L> = bar@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@bar Unit
|
|
}
|
|
)
|
|
R|/bar|(Int(1), bar@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@bar Unit
|
|
}
|
|
)
|
|
R|/bar|(Int(1), bar@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@bar Unit
|
|
}
|
|
)
|
|
R|/bar<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /bar>#|(<L> = bar@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@bar Unit
|
|
}
|
|
)
|
|
R|/bar<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /bar>#|(bar@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@bar Unit
|
|
}
|
|
)
|
|
R|/baz|(Boolean(false), baz@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@baz Unit
|
|
}
|
|
)
|
|
R|/baz|(baz@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
|
^@baz Unit
|
|
}
|
|
, Boolean(false))
|
|
R|/baz<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /baz>#|(<L> = baz@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@baz Unit
|
|
}
|
|
)
|
|
R|/baz<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /baz>#|(<L> = baz@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@baz Unit
|
|
}
|
|
)
|
|
R|/baz<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /baz>#|(Boolean(false), <L> = baz@fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
|
|
^@baz Unit
|
|
}
|
|
)
|
|
}
|