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

[FE] Remove unused SoundSmartcastFromLoopConditionForLoopAssignedVariables language feature

Browse Source
This commit is contained in:
Victor Petukhov
2022-02-15 16:52:43 +03:00
committed by teamcity
parent 5c8ca0ca9b
commit 0518b84b0b
11 changed files with 12 additions and 89 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
Generated
+3 -9
View File
@@ -28996,15 +28996,9 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakAfter.kt")
public void testWhileWithAssertInConditionAndBreakAfter() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakAfter.kt");
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakBefore.kt")
public void testWhileWithAssertInConditionAndBreakBefore() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakBefore.kt");
@TestMetadata("whileWithAssertInConditionAndBreak.kt")
public void testWhileWithAssertInConditionAndBreak() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreak.kt");
}
}
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
Generated
+3 -9
View File
@@ -28996,15 +28996,9 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakAfter.kt")
public void testWhileWithAssertInConditionAndBreakAfter() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakAfter.kt");
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakBefore.kt")
public void testWhileWithAssertInConditionAndBreakBefore() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakBefore.kt");
@TestMetadata("whileWithAssertInConditionAndBreak.kt")
public void testWhileWithAssertInConditionAndBreak() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreak.kt");
}
}
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
Generated
+3 -9
View File
@@ -28996,15 +28996,9 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakAfter.kt")
public void testWhileWithAssertInConditionAndBreakAfter() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakAfter.kt");
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakBefore.kt")
public void testWhileWithAssertInConditionAndBreakBefore() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakBefore.kt");
@TestMetadata("whileWithAssertInConditionAndBreak.kt")
public void testWhileWithAssertInConditionAndBreak() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreak.kt");
}
}
compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakAfter.fir.kt → compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreak.fir.kt
Vendored
-2
View File
@@ -1,5 +1,3 @@
// !LANGUAGE: +SoundSmartcastFromLoopConditionForLoopAssignedVariables
fun foo() {
var x: String? = "123"
while (x!!.length < 42) {
compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakAfter.kt → compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreak.kt
Vendored
-2
View File
@@ -1,5 +1,3 @@
// !LANGUAGE: +SoundSmartcastFromLoopConditionForLoopAssignedVariables
fun foo() {
var x: String? = "123"
while (x!!.length < 42) {
compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakAfter.txt → compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreak.txt
Vendored
View File
compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakBefore.fir.kt
Vendored
-21
View File
@@ -1,21 +0,0 @@
// !LANGUAGE: -SoundSmartcastFromLoopConditionForLoopAssignedVariables
fun foo() {
var x: String? = "123"
while (x!!.length < 42) {
x = null
break
}
x<!UNSAFE_CALL!>.<!>length // 'x' is unsoundly smartcasted here
}
fun bar() {
var x: List<Int>? = ArrayList<Int>(1)
for (i in x!!) {
x = null
break
}
x<!UNSAFE_CALL!>.<!>size // 'x' is unsoundly smartcasted here
}
compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakBefore.kt
Vendored
-21
View File
@@ -1,21 +0,0 @@
// !LANGUAGE: -SoundSmartcastFromLoopConditionForLoopAssignedVariables
fun foo() {
var x: String? = "123"
while (x!!.length < 42) {
x = null
break
}
<!DEBUG_INFO_SMARTCAST!>x<!>.length // 'x' is unsoundly smartcasted here
}
fun bar() {
var x: List<Int>? = ArrayList<Int>(1)
for (i in x!!) {
x = null
break
}
<!DEBUG_INFO_SMARTCAST!>x<!>.size // 'x' is unsoundly smartcasted here
}
compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakBefore.txt
Vendored
-4
View File
@@ -1,4 +0,0 @@
package
public fun bar(): kotlin.Unit
public fun foo(): kotlin.Unit
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
Generated
+3 -9
View File
@@ -29086,15 +29086,9 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakAfter.kt")
public void testWhileWithAssertInConditionAndBreakAfter() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakAfter.kt");
}
@Test
@TestMetadata("whileWithAssertInConditionAndBreakBefore.kt")
public void testWhileWithAssertInConditionAndBreakBefore() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreakBefore.kt");
@TestMetadata("whileWithAssertInConditionAndBreak.kt")
public void testWhileWithAssertInConditionAndBreak() throws Exception {
runTest("compiler/testData/diagnostics/tests/smartCasts/loops/whileWithAssertInConditionAndBreak.kt");
}
}
compiler/util/src/org/jetbrains/kotlin/config/LanguageVersionSettings.kt
-3
View File
@@ -269,9 +269,6 @@ enum class LanguageFeature(
ProhibitEnumDeclaringClass(KOTLIN_1_9, kind = BUG_FIX), // KT-49653
StopPropagatingDeprecationThroughOverrides(KOTLIN_1_9, kind = BUG_FIX), // KT-47902
// Temporarily disabled, see KT-27084/KT-22379
SoundSmartcastFromLoopConditionForLoopAssignedVariables(sinceVersion = null, kind = BUG_FIX),
// Disabled for indefinite time. See KT-48535 and related discussion
ApproximateIntegerLiteralTypesInReceiverPosition(sinceVersion = null),