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

changed tests where autocasts aren't needed but are reported

Browse Source 
due to KT-4294
This commit is contained in:
Svetlana Isakova
2013-12-09 17:10:22 +04:00
parent c30259dfbe
commit 33c04bde9a
2 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/AssertNotNull.kt
+4 -3
View File
@@ -17,16 +17,17 @@ fun main(args : Array<String>) {
d<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!> d<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
} }
// auto cast isn't needed, but is reported due to KT-4294
if (d is String) { if (d is String) {
d<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!> <!DEBUG_INFO_AUTOCAST!>d<!><!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
} }
if (d is String?) { if (d is String?) {
if (d != null) { if (d != null) {
d<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!> <!DEBUG_INFO_AUTOCAST!>d<!><!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
} }
if (d is String) { if (d is String) {
d<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!> <!DEBUG_INFO_AUTOCAST!>d<!><!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
} }
} }
compiler/testData/diagnostics/tests/smartCasts/inference/intersectionTypes.kt
+4 -3
View File
@@ -12,15 +12,16 @@ trait C: A
fun test(a: A, b: B, c: C) { fun test(a: A, b: B, c: C) {
if (a is B && a is C) { if (a is B && a is C) {
val d: C = id(a) val d: C = id(<!DEBUG_INFO_AUTOCAST!>a<!>)
val e: Any = id(a) val e: Any = id(a)
val f = id(a) val f = id(a)
f: A f: A
val g = two(a, b) val g = two(<!DEBUG_INFO_AUTOCAST!>a<!>, b)
g: B g: B
g: A g: A
val h: Any = two(a, b) // auto cast isn't needed, but is reported due to KT-4294
val h: Any = two(<!DEBUG_INFO_AUTOCAST!>a<!>, b)
val k = three(a, b, c) val k = three(a, b, c)
k: A k: A