[NI] Don't consider Nothing-constraint as proper to complete call

Follow-up of 9b3e17f0. There we decided to complete call if a type
 variable from a return type has proper lower constraints, now we refine
 this rule wrt `Nothing`-like constraints to avoid inferring type variables
 to Nothing, which is quite useless

 #KT-30370 Fixed
This commit is contained in:
Mikhail Zarechenskiy
2019-03-11 13:55:07 +03:00
parent 77ab15ec65
commit 1594c1fc6b
7 changed files with 62 additions and 4 deletions
@@ -11834,6 +11834,11 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
public void testKt10822() throws Exception {
runTest("compiler/testData/codegen/box/inference/kt10822.kt");
}
@TestMetadata("lastExpressionOfLambdaWithNothingConstraint.kt")
public void testLastExpressionOfLambdaWithNothingConstraint() throws Exception {
runTest("compiler/testData/codegen/box/inference/lastExpressionOfLambdaWithNothingConstraint.kt");
}
}
@TestMetadata("compiler/testData/codegen/box/inlineClasses")