blob: 16b0188fe77999432e4043c8489d3af3624d56f4 [file]
FILE: emptyArguments.fir.kt
public final class A : R|kotlin/Any| {
public constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public final class B : R|kotlin/Any| {
public constructor(): R|B| {
super<R|kotlin/Any|>()
}
}
public final class C : R|kotlin/Any| {
public constructor(): R|C| {
super<R|kotlin/Any|>()
}
}
public final fun asFunc(x: R|kotlin/Int|, y: R|kotlin/Int|, z: R|kotlin/Int|): R|kotlin/Unit| {
}
public final fun asVarargFunc(vararg xs: R|kotlin/IntArray|): R|kotlin/Unit| {
}
public final fun asTypedFunc(a: R|A|, b: R|B|, c: R|C|): R|kotlin/Unit| {
}
public final fun test(): R|kotlin/Unit| {
lval a: R|A| = R|/A.A|()
lval b: R|B| = R|/B.B|()
lval c: R|C| = R|/C.C|()
R|/asFunc|(ERROR_EXPR(Argument is absent), Int(2), Int(3))
R|/asFunc|(Int(1), Int(2), ERROR_EXPR(Argument is absent))
R|/asFunc|(Int(1), ERROR_EXPR(Argument is absent), Int(3))
R|/asFunc|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asFunc>#|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asFunc|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), Int(3))
R|/asFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asFunc>#|(ERROR_EXPR(Argument is absent), Int(2))
R|/asFunc|(Int(1), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asFunc>#|(Int(1), ERROR_EXPR(Argument is absent))
R|/asFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asFunc>#|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asFunc>#|(Int(1), Int(2), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asFunc>#|(ERROR_EXPR(Argument is absent), Int(2), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asVarargFunc|(vararg(ERROR_EXPR(Argument is absent), Int(2), Int(3)))
R|/asVarargFunc|(vararg(ERROR_EXPR(Argument is absent), Int(2), Int(3)))
R|/asVarargFunc|(vararg(Int(1), ERROR_EXPR(Argument is absent), Int(3)))
R|/asVarargFunc|(vararg(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), Int(3)))
R|/asVarargFunc|(vararg(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent)))
R|/asVarargFunc|(vararg(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent)))
R|/asVarargFunc|(vararg(ERROR_EXPR(Argument is absent), Int(2)))
R|/asTypedFunc|(ERROR_EXPR(Argument is absent), R|<local>/b|, R|<local>/c|)
R|/asTypedFunc|(ERROR_EXPR(Argument is absent), R|<local>/b|, R|<local>/c|)
R|/asTypedFunc|(R|<local>/a|, ERROR_EXPR(Argument is absent), R|<local>/c|)
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asTypedFunc|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), R|<local>/b|)
R|/asTypedFunc|(R|<local>/a|, R|<local>/b|, ERROR_EXPR(Argument is absent))
R|/asTypedFunc|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), R|<local>/c|)
R|/asTypedFunc|(R|<local>/a|, ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent))
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(R|<local>/a|, R|<local>/b|, R|<local>/c|, ERROR_EXPR(Argument is absent))
R|/asTypedFunc|(R|/A.A|(), ERROR_EXPR(Argument is absent), R|<local>/c|)
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(R|/C.C|(), ERROR_EXPR(Argument is absent), R|/B.B|())
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), R|/A.A|(), R|<local>/b|)
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), R|<local>/a|, R|/B.B|(), R|<local>/c|)
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), R|/B.B|(), R|<local>/a|, R|<local>/c|)
R|/asTypedFunc|(R|/A.A|(), ERROR_EXPR(Argument is absent), R|<local>/c|)
R|/asTypedFunc|(R|/A.A|(), ERROR_EXPR(Argument is absent), R|/C.C|())
R|/asTypedFunc|(R|/A.A|(), ERROR_EXPR(Argument is absent), R|<local>/c|)
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(R|/A.A|(), ERROR_EXPR(Argument is absent))
R|/asTypedFunc<Inapplicable(INAPPLICABLE): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), R|/A.A|(), R|/B.B|(), R|/C.C|())
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), R|/A.A|(), R|<local>/b|, R|<local>/c|)
R|/asTypedFunc<Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): /asTypedFunc>#|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), R|/A.A|())
R|/asTypedFunc|(ERROR_EXPR(Argument is absent), ERROR_EXPR(Argument is absent), R|/C.C|())
}