FIR: make KFunctionX derived from KFunction

This commit is contained in:
Mikhail Glukhikh
2020-04-16 16:21:01 +03:00
parent 4bb6410ce3
commit 96d8b0bea3
25 changed files with 27 additions and 39 deletions
@@ -17,7 +17,7 @@ fun main() {
checkSubtype<KFunction2<A, Int, Unit>>(y)
checkSubtype<KFunction1<A, String>>(z)
<!INAPPLICABLE_CANDIDATE!>checkSubtype<!><KFunction<Unit>>(x)
<!INAPPLICABLE_CANDIDATE!>checkSubtype<!><KFunction<Unit>>(y)
<!INAPPLICABLE_CANDIDATE!>checkSubtype<!><KFunction<String>>(z)
checkSubtype<KFunction<Unit>>(x)
checkSubtype<KFunction<Unit>>(y)
checkSubtype<KFunction<String>>(z)
}
@@ -17,7 +17,7 @@ fun main() {
checkSubtype<KFunction2<A, Int, Unit>>(y)
checkSubtype<KFunction1<A, String>>(z)
<!INAPPLICABLE_CANDIDATE!>checkSubtype<!><KFunction<Unit>>(x)
<!INAPPLICABLE_CANDIDATE!>checkSubtype<!><KFunction<Unit>>(y)
<!INAPPLICABLE_CANDIDATE!>checkSubtype<!><KFunction<String>>(z)
checkSubtype<KFunction<Unit>>(x)
checkSubtype<KFunction<Unit>>(y)
checkSubtype<KFunction<String>>(z)
}