kotlin-fork/idea/testData/checker/infos/Autocasts.jet

<info descr="null">open</info> class A() {
  fun foo() {}
}

class B() : A() {
  fun bar() {}
}

fun f9(a : A?) {
  a?.foo()
  a?.<error descr="Unresolved reference: bar">bar</error>()
  if (a is B) {
    <info descr="Automatically cast to B">a</info>.bar()
    <info descr="Automatically cast to A">a</info>.foo()
  }
  a?.foo()
  a?.<error descr="Unresolved reference: bar">bar</error>()
  if (!(a is B)) {
    a?.<error descr="Unresolved reference: bar">bar</error>()
    a?.foo()
  }
  if (!(a is B) || <info descr="Automatically cast to B">a</info>.bar() == #()) {
      a?.<error descr="Unresolved reference: bar">bar</error>()
  }
  if (!(a is B)) {
    return;
  }
  <info descr="Automatically cast to B">a</info>.bar()
  <info descr="Automatically cast to A">a</info>.foo()
}

fun f10(a : A?) {
  if (!(a is B)) {
    return;
  }
  if (!(a is B)) {
    return;
  }
}

class C() : A() {
  fun bar() {

  }
}

fun f101(a : A?) {
    if (a is C) {
      <info descr="Automatically cast to C">a</info>.bar();
    }
}

fun f11(a : A?) {
  when (a) {
    is B -> <info descr="Automatically cast to B">a</info>.bar()
    is A -> <info descr="Automatically cast to A">a</info>.foo()
    is Any -> <info descr="Automatically cast to A">a</info>.foo()
    is Any? -> a.<error descr="Unresolved reference: bar">bar</error>()
    else -> a?.foo()
  }
}

fun f12(a : A?) {
  when (a) {
    is B -> <info descr="Automatically cast to B">a</info>.bar()
    is A -> <info descr="Automatically cast to A">a</info>.foo()
    is Any -> <info descr="Automatically cast to A">a</info>.foo();
    is Any? -> a.<error descr="Unresolved reference: bar">bar</error>()
    is val c : <error descr="[TYPE_MISMATCH_IN_BINDING_PATTERN] B must be a supertype of A?. Use is to match against B">B</error> -> c.foo()
    is val c is C -> <info descr="Automatically cast to C">c</info>.bar()
    is val c is C -> <info descr="Automatically cast to C">a</info>.bar()
    else -> a?.foo()
  }

  if (a is val b) {
    a?.<error descr="Unresolved reference: bar">bar</error>()
    b?.foo()
  }
  if (a is val b is B) {
    <info descr="Automatically cast to A">b</info>.foo()
    <info descr="Automatically cast to B">a</info>.bar()
    <info descr="Automatically cast to B">b</info>.bar()
  }
}

fun f13(a : A?) {
  if (a is val c is B) {
    <info descr="Automatically cast to A">c</info>.foo()
    <info descr="Automatically cast to B">c</info>.bar()
  }
  else {
    a?.foo()
    <error descr="Unresolved reference: c">c</error>.bar()
  }

  a?.foo()
  if (!(a is val c is B)) {
    a?.foo()
    <error descr="Unresolved reference: c">c</error>.bar()
  }
  else {
    <info descr="Automatically cast to A">a</info>.foo()
    <error descr="Unresolved reference: c">c</error>.bar()
  }

  a?.foo()
  if (a is val c is B && <info descr="Automatically cast to A">a</info>.foo() == #() && <info descr="Automatically cast to B">c</info>.bar() == #()) {
    <info descr="Automatically cast to A">c</info>.foo()
    <info descr="Automatically cast to B">c</info>.bar()
  }
  else {
    a?.foo()
    <error descr="Unresolved reference: c">c</error>.bar()
  }

  if (!(a is val c is B) || !(a is val x is C)) {
    <error descr="Unresolved reference: x">x</error>
    <error descr="Unresolved reference: c">c</error>
  }
  else {
    <error descr="Unresolved reference: x">x</error>
    <error descr="Unresolved reference: c">c</error>
  }

  if (!(a is val c is B) || !(a is val c is C)) {
  }

  if (!(a is val c is B)) return
  <info descr="Automatically cast to B">a</info>.bar()
  <error descr="Unresolved reference: c">c</error>.foo()
  <error descr="Unresolved reference: c">c</error>.bar()
}

fun f14(a : A?) {
  while (!(a is val c is B)) {
  }
  <info descr="Automatically cast to B">a</info>.bar()
  <error descr="Unresolved reference: c">c</error>.bar()
}
fun f15(a : A?) {
  do {
  } while (!(a is val c is B))
  <info descr="Automatically cast to B">a</info>.bar()
  <error descr="Unresolved reference: c">c</error>.bar()
}

fun getStringLength(obj : Any) : Char? {
  if (obj !is String)
    return null
  return <info descr="Automatically cast to String">obj</info>.get(0) // no cast to String is needed
}

fun toInt(i: Int?): Int = if (i != null) <info descr="Automatically cast to Int">i</info> else 0
fun illegalWhenBody(a: Any): Int = when(a) {
    is Int -> <info descr="Automatically cast to Int">a</info>
    is String -> <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any but Int was expected">a</error>
    else -> 1
}
fun illegalWhenBlock(a: Any): Int {
    when(a) {
        is Int -> return <info descr="Automatically cast to Int">a</info>
        is String -> return <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any but Int was expected">a</error>
        else -> return 1
    }
}
fun declarations(a: Any?) {
    if (a is String) {
       val <warning>p4</warning>: #(Int, String) = #(2, <info descr="Automatically cast to String">a</info>)
    }
    if (a is String?) {
        if (a != null) {
            val <warning>s</warning>: String = <info descr="Automatically cast to String">a</info>
        }
    }
    if (a != null) {
        if (a is String?) {
            val <warning>s</warning>: String = <info descr="Automatically cast to String">a</info>
        }
    }
}
fun vars(a: Any?) {
    var <warning>b</warning>: Int = 0
    if (a is Int) {
        b = <info descr="Automatically cast to Int"><warning>a</warning></info>
    }
}
fun tuples(a: Any?) {
    if (a != null) {
        val <warning>s</warning>: #(Any, String) = #(<info descr="Automatically cast to Any">a</info>, <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any? but String was expected">a</error>)
    }
    if (a is String) {
        val <warning>s</warning>: #(Any, String) = #(<info descr="Automatically cast to Any">a</info>, <info descr="Automatically cast to String">a</info>)
    }
    fun illegalTupleReturnType(): #(Any, String) = #(<error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any? but Any was expected">a</error>, <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any? but String was expected">a</error>)
    if (a is String) {
        fun legalTupleReturnType(): #(Any, String) = #(<info descr="Automatically cast to Any">a</info>, <info descr="Automatically cast to String">a</info>)
    }
    val <warning>illegalFunctionLiteral</warning>: Function0<Int> = <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Function0<Any?> but Function0<Int> was expected">{ <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any? but Int was expected">a</error> }</error>
    val <warning>illegalReturnValueInFunctionLiteral</warning>: Function0<Int> = { (): Int -> <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any? but Int was expected">a</error> }

    if (a is Int) {
        val <warning>legalFunctionLiteral</warning>: Function0<Int> = { <info descr="Automatically cast to Int">a</info> }
        val <warning>alsoLegalFunctionLiteral</warning>: Function0<Int> = { (): Int -> <info descr="Automatically cast to Int">a</info> }
    }
}
fun returnFunctionLiteralBlock(a: Any?): Function0<Int> {
    if (a is Int) return { <info descr="Automatically cast to Int">a</info> }
    else return { 1 }
}
fun returnFunctionLiteral(a: Any?): Function0<Int> =
    if (a is Int) { (): Int -> <info descr="Automatically cast to Int">a</info> }
    else { () -> 1 }

fun illegalTupleReturnType(a: Any): #(Any, String) = #(a, <error descr="[TYPE_MISMATCH] Type mismatch: inferred type is Any but String was expected">a</error>)

fun declarationInsidePattern(x: #(Any, Any)): String = when(x) { is #(val a is String, *) -> <info descr="Automatically cast to String">a</info>; else -> "something" }

fun mergeAutocasts(a: Any?) {
  if (a is String || a is Int) {
    a.<error descr="Unresolved reference: compareTo">compareTo</error>("")
    <info descr="Automatically cast to Any">a</info>.toString()
  }
  if (a is Int || a is String) {
    a.<error descr="Unresolved reference: compareTo">compareTo</error>("")
  }
  <error>when</error> (a) {
    is String, is Any -> a.<error descr="Unresolved reference: compareTo">compareTo</error>("")
  }
  if (a is String && a is Any) {
    val <warning>i</warning>: Int = <info descr="Automatically cast to String">a</info>.compareTo("")
  }
  if (a is String && <info descr="Automatically cast to String">a</info>.compareTo("") == 0) {}
  if (a is String || a.<error descr="Unresolved reference: compareTo">compareTo</error>("") == 0) {}
}

//mutability
fun f(): String {
    var a: Any = 11
    if (a is String) {
        val <warning>i</warning>: String = <error descr="[AUTOCAST_IMPOSSIBLE] Automatic cast to String is impossible, because a could have changed since the is-check">a</error>
        <error descr="[AUTOCAST_IMPOSSIBLE] Automatic cast to String is impossible, because a could have changed since the is-check">a</error>.compareTo("f")
        val <warning>f</warning>: Function0<String> = { <error descr="[AUTOCAST_IMPOSSIBLE] Automatic cast to String is impossible, because a could have changed since the is-check">a</error> }
        return <error descr="[AUTOCAST_IMPOSSIBLE] Automatic cast to String is impossible, because a could have changed since the is-check">a</error>
    }
    return ""
}

fun foo(var a: Any): Int {
    if (a is Int) {
        return <error descr="[AUTOCAST_IMPOSSIBLE] Automatic cast to Int is impossible, because a could have changed since the is-check">a</error>
    }
    return 1
}