// !DIAGNOSTICS_NUMBER: 2
// !DIAGNOSTICS: TYPE_INFERENCE_CONFLICTING_SUBSTITUTIONS
// see DiagnosticMessageTest

import java.io.Closeable

class MyList<T>(t: T) {}

fun <T> getMyList(t: T): MyList<T> = MyList(t)
fun <T, E: Cloneable> writeToMyList (l: MyList< in T>, t: T) where E: Closeable {}
class Cons<T, E: Cloneable>(l: MyList<in T>, t: T)

fun test1(int: Int, any: Any) {
    writeToMyList(getMyList(int), any)
    Cons(getMyList(int), any)
}