interface A
interface B

fun foo(a: Any) {
    a as A
    a as B
    bar(a)
}

fun <T> bar(t: T) where T : A, T : B {}

if (a is A) ... if (a is B)

interface Interface1 {
    val v1:String
}

interface Interface2 {
    val v2:Int
}

class ExperimentalClass : Interface1, Interface2 {
    override val v1 : String = "ABC"
    override val v2 : Int = 42
}

fun <T> printStuff(value:T) where T : Interface1, T:Interface2 {
    println(value.v1)
    println(value.v2)
}

fun doSomething(obj:Any) {
    // if (obj is Interface2 && obj is Interface1) printStuff(obj)
    obj as Interface2
    obj as Interface1
    printStuff(obj)
}

fun main() {
    val e = ExperimentalClass()
    doSomething(e)
}

-Xnew-inference

-Xnew-inference