// RUN_PIPELINE_TILL: BACKEND
fun test(x: Any?) {
  if (x !is String) return

  class C {
    val v = <!DEBUG_INFO_SMARTCAST!>x<!>.length

    val vGet: Int
      get() = <!DEBUG_INFO_SMARTCAST!>x<!>.length

    val s: String = <!DEBUG_INFO_SMARTCAST!>x<!>
  }
}

/* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, getter, ifExpression, isExpression, localClass,
nullableType, propertyDeclaration, smartcast */
