[FIR] Disable smartcasts to Nothing?

2019-08-29 11:21:49 +03:00
parent b58a03458e
commit 04b6c48ae7
1 changed files with 5 additions and 1 deletions
@@ -288,13 +288,17 @@ class FirDataFlowAnalyzerImpl(transformer: FirBodyResolveTransformer) : FirDataF
                    operandVariable,
                    FirDataFlowInfo(setOf(session.builtinTypes.anyType.coneTypeUnsafe()), emptySet())
                )
-            ).addNotApprovedFact(
+            )
+            // TODO: design do we need casts to Nothing?
+            /*
+            flow = addNotApprovedFact(
                expressionVariable, UnapprovedFirDataFlowInfo(
                    eq(conditionValue.invert()!!),
                    operandVariable,
                    FirDataFlowInfo(setOf(session.builtinTypes.nullableNothingType.coneTypeUnsafe()), emptySet())
                )
            )
+            */

        }
        node.flow = flow