package test

open class Animal

class Human : Animal()

val v<caret_type1>1: List<Animl> = listOf()

val v<caret_type2>2: List<Human> = listOf()

// ARE_EQUAL: false
// ARE_EQUAL_LENIENT: true
// IS_SUBTYPE: false
// IS_SUBTYPE_LENIENT: true

// SUPERCLASS_ID: kotlin/collections/List
// IS_CLASS_SUBTYPE: true
// IS_CLASS_SUBTYPE_LENIENT: true
