Dmitry Petrov
bab9cde280
1. Substitution variance (sv) is a substitution composition of type alias argument variance (av) and corresponding expanding type argument variance (ev): sv = | av == ev -> av | av == INVARIANT -> ev | ev == INVARIANT -> av | else -> (variance conflict error; av) 2. Resulting variance (rv) is a type argument composition of sv and type parameter variance (pv): rv = | sv == tv => INVARIANT | sv == INVARIANT => INVARIANT | tv == INVARIANT => sv | else -> (variance conflict error; sv)
44 lines
2.4 KiB
Plaintext
Vendored
44 lines
2.4 KiB
Plaintext
Vendored
package
|
|
|
|
public fun foo(): kotlin.Unit
|
|
|
|
public final class A : Outer<kotlin.Double, kotlin.Short> {
|
|
public constructor A()
|
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
|
|
|
public final class B : Outer<kotlin.Float, kotlin.Long> {
|
|
public constructor B()
|
|
public final fun bar(): Outer<kotlin.Float, kotlin.Long>.Inner<kotlin.String>
|
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
|
public final fun x(): Outer<kotlin.Float, kotlin.Long>.Alias<kotlin.String> /* = kotlin.collections.Map<kotlin.String, kotlin.Float> */
|
|
}
|
|
}
|
|
|
|
public final class Derived : Outer<kotlin.String, kotlin.Int> {
|
|
public constructor Derived()
|
|
public final fun baz(): Outer<kotlin.String, kotlin.Int>.Alias<kotlin.Char> /* = kotlin.collections.Map<kotlin.Char, kotlin.String> */
|
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
|
public final fun foo(): Outer<kotlin.String, kotlin.Int>.Inner<kotlin.Char>
|
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
|
}
|
|
|
|
public open class Outer</*0*/ X, /*1*/ Y> {
|
|
public constructor Outer</*0*/ X, /*1*/ Y>()
|
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
|
|
|
public final inner class Inner</*0*/ Z> /*captured type parameters: /*1*/ X, /*2*/ Y*/ {
|
|
public constructor Inner</*0*/ Z>()
|
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
|
}
|
|
public typealias Alias</*0*/ W> /*captured type parameters: /*1*/ X, /*2*/ Y*/ = kotlin.collections.Map<W, X>
|
|
}
|