kotlin-fork/compiler/testData/diagnostics/tests/subtyping/kt-1457.kt

// FIR_IDENTICAL
// !CHECK_TYPE
// JAVAC_EXPECTED_FILE

import java.util.ArrayList

class Pair<A, B>(val a: A, val b: B)

class MyListOfPairs<T> : ArrayList<Pair<T, T>>() { }

fun test() {
    checkSubtype<ArrayList<Pair<Int, Int>>>(MyListOfPairs<Int>())
}