azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Disable smartcasts to Nothing?

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2019-08-29 11:21:49 +03:00
parent b58a03458e
commit 04b6c48ae7
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/FirDataFlowAnalyzerImpl.kt
+5 -1
View File
@@ -288,13 +288,17 @@ class FirDataFlowAnalyzerImpl(transformer: FirBodyResolveTransformer) : FirDataF
operandVariable, operandVariable,
FirDataFlowInfo(setOf(session.builtinTypes.anyType.coneTypeUnsafe()), emptySet()) FirDataFlowInfo(setOf(session.builtinTypes.anyType.coneTypeUnsafe()), emptySet())
) )
).addNotApprovedFact( )
// TODO: design do we need casts to Nothing?
/*
flow = addNotApprovedFact(
expressionVariable, UnapprovedFirDataFlowInfo( expressionVariable, UnapprovedFirDataFlowInfo(
eq(conditionValue.invert()!!), eq(conditionValue.invert()!!),
operandVariable, operandVariable,
FirDataFlowInfo(setOf(session.builtinTypes.nullableNothingType.coneTypeUnsafe()), emptySet()) FirDataFlowInfo(setOf(session.builtinTypes.nullableNothingType.coneTypeUnsafe()), emptySet())
) )
) )
*/
} }
node.flow = flow node.flow = flow