d69deb97fe
^KT-62547 Fixed I also tested the commit by disabling DfaBooleanVariables in all tests and checking what tests will fail I didn't find anything that worked in K1, but doesn't work in K2 with DfaBooleanVariables disabled Related tests: - DiagnosticCompilerTestFirTestdataTestGenerated$Resolve$Smartcasts - LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated$Resolve$Smartcasts - PreFirIdeSpecTestGenerated$NotLinked$Dfa - DiagnosticCompilerTestFE10TestdataTestGenerated$Tests$SmartCasts - FirPsiDiagnosticTestGenerated$Resolve$Expresssions.testSyntheticSmartCast