FIR: Adjust analysis test data after changes in how we load Java types
Especially, it's about types based on type parameters
This commit is contained in:
+24
@@ -0,0 +1,24 @@
|
|||||||
|
KtSuccessCallInfo:
|
||||||
|
call = KtSimpleFunctionCall:
|
||||||
|
isImplicitInvoke = false
|
||||||
|
partiallyAppliedSymbol = KtPartiallyAppliedSymbol:
|
||||||
|
dispatchReceiver = null
|
||||||
|
extensionReceiver = null
|
||||||
|
signature = KtFunctionLikeSignature:
|
||||||
|
receiverType = null
|
||||||
|
returnType = java.util.Comparator<ft<kotlin.Int, kotlin.Int?>>
|
||||||
|
symbol = java/util/Comparator(function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>): java.util.Comparator<T>
|
||||||
|
valueParameters = [
|
||||||
|
KtVariableLikeSignature:
|
||||||
|
name = function
|
||||||
|
receiverType = null
|
||||||
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
|
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>
|
||||||
|
]
|
||||||
|
argumentMapping = {
|
||||||
|
{x: Int, y: Int -> 1} -> (KtVariableLikeSignature:
|
||||||
|
name = function
|
||||||
|
receiverType = null
|
||||||
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
|
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>)
|
||||||
|
}
|
||||||
+3
-3
@@ -7,18 +7,18 @@ KtSuccessCallInfo:
|
|||||||
signature = KtFunctionLikeSignature:
|
signature = KtFunctionLikeSignature:
|
||||||
receiverType = null
|
receiverType = null
|
||||||
returnType = java.util.Comparator<ft<kotlin.Int, kotlin.Int?>>
|
returnType = java.util.Comparator<ft<kotlin.Int, kotlin.Int?>>
|
||||||
symbol = java/util/Comparator(function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>): java.util.Comparator<T>
|
symbol = java/util/Comparator(function: kotlin.Function2<ft<T & Any, T?>, ft<T & Any, T?>, kotlin.Int>): java.util.Comparator<T>
|
||||||
valueParameters = [
|
valueParameters = [
|
||||||
KtVariableLikeSignature:
|
KtVariableLikeSignature:
|
||||||
name = function
|
name = function
|
||||||
receiverType = null
|
receiverType = null
|
||||||
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>
|
symbol = function: kotlin.Function2<ft<T & Any, T?>, ft<T & Any, T?>, kotlin.Int>
|
||||||
]
|
]
|
||||||
argumentMapping = {
|
argumentMapping = {
|
||||||
{x: Int, y: Int -> 1} -> (KtVariableLikeSignature:
|
{x: Int, y: Int -> 1} -> (KtVariableLikeSignature:
|
||||||
name = function
|
name = function
|
||||||
receiverType = null
|
receiverType = null
|
||||||
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>)
|
symbol = function: kotlin.Function2<ft<T & Any, T?>, ft<T & Any, T?>, kotlin.Int>)
|
||||||
}
|
}
|
||||||
|
|||||||
+25
@@ -0,0 +1,25 @@
|
|||||||
|
KtApplicableCallCandidateInfo:
|
||||||
|
candidate = KtSimpleFunctionCall:
|
||||||
|
isImplicitInvoke = false
|
||||||
|
partiallyAppliedSymbol = KtPartiallyAppliedSymbol:
|
||||||
|
dispatchReceiver = null
|
||||||
|
extensionReceiver = null
|
||||||
|
signature = KtFunctionLikeSignature:
|
||||||
|
receiverType = null
|
||||||
|
returnType = java.util.Comparator<ft<kotlin.Int, kotlin.Int?>>
|
||||||
|
symbol = java/util/Comparator(function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>): java.util.Comparator<T>
|
||||||
|
valueParameters = [
|
||||||
|
KtVariableLikeSignature:
|
||||||
|
name = function
|
||||||
|
receiverType = null
|
||||||
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
|
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>
|
||||||
|
]
|
||||||
|
argumentMapping = {
|
||||||
|
{x: Int, y: Int -> 1} -> (KtVariableLikeSignature:
|
||||||
|
name = function
|
||||||
|
receiverType = null
|
||||||
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
|
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>)
|
||||||
|
}
|
||||||
|
isInBestCandidates = true
|
||||||
+3
-3
@@ -7,19 +7,19 @@ KtApplicableCallCandidateInfo:
|
|||||||
signature = KtFunctionLikeSignature:
|
signature = KtFunctionLikeSignature:
|
||||||
receiverType = null
|
receiverType = null
|
||||||
returnType = java.util.Comparator<ft<kotlin.Int, kotlin.Int?>>
|
returnType = java.util.Comparator<ft<kotlin.Int, kotlin.Int?>>
|
||||||
symbol = java/util/Comparator(function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>): java.util.Comparator<T>
|
symbol = java/util/Comparator(function: kotlin.Function2<ft<T & Any, T?>, ft<T & Any, T?>, kotlin.Int>): java.util.Comparator<T>
|
||||||
valueParameters = [
|
valueParameters = [
|
||||||
KtVariableLikeSignature:
|
KtVariableLikeSignature:
|
||||||
name = function
|
name = function
|
||||||
receiverType = null
|
receiverType = null
|
||||||
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>
|
symbol = function: kotlin.Function2<ft<T & Any, T?>, ft<T & Any, T?>, kotlin.Int>
|
||||||
]
|
]
|
||||||
argumentMapping = {
|
argumentMapping = {
|
||||||
{x: Int, y: Int -> 1} -> (KtVariableLikeSignature:
|
{x: Int, y: Int -> 1} -> (KtVariableLikeSignature:
|
||||||
name = function
|
name = function
|
||||||
receiverType = null
|
receiverType = null
|
||||||
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
returnType = kotlin.Function2<ft<kotlin.Int, kotlin.Int?>, ft<kotlin.Int, kotlin.Int?>, kotlin.Int>
|
||||||
symbol = function: kotlin.Function2<ft<T, T?>, ft<T, T?>, kotlin.Int>)
|
symbol = function: kotlin.Function2<ft<T & Any, T?>, ft<T & Any, T?>, kotlin.Int>)
|
||||||
}
|
}
|
||||||
isInBestCandidates = true
|
isInBestCandidates = true
|
||||||
|
|||||||
+1
-1
@@ -8,7 +8,7 @@ abstract operator fun iterator(): kotlin.collections.MutableIterator<test.SomeCl
|
|||||||
|
|
||||||
fun toArray(): kotlin.Array<(out) kotlin.Any!>!
|
fun toArray(): kotlin.Array<(out) kotlin.Any!>!
|
||||||
|
|
||||||
fun <T : kotlin.Any!> toArray(p0: kotlin.Array<(out) T!>!): kotlin.Array<(out) T!>!
|
fun <T : kotlin.Any!> toArray(p0: kotlin.Array<(out) (T!!..T?)>!): kotlin.Array<(out) (T!!..T?)>!
|
||||||
|
|
||||||
abstract fun add(p0: test.SomeClass!): kotlin.Boolean
|
abstract fun add(p0: test.SomeClass!): kotlin.Boolean
|
||||||
|
|
||||||
|
|||||||
Vendored
+1
-1
@@ -1 +1 @@
|
|||||||
constructor(c: kotlin.collections.(Mutable)Collection<out E!>!)
|
constructor(c: kotlin.collections.(Mutable)Collection<out (E!!..E?)>!)
|
||||||
|
|||||||
Vendored
+1
-1
@@ -2,5 +2,5 @@ FILE: functionWithImplicitType.kt
|
|||||||
public final [BODY_RESOLVE] fun <T> checkSubtype([BODY_RESOLVE] t: R|T|): R|T| {
|
public final [BODY_RESOLVE] fun <T> checkSubtype([BODY_RESOLVE] t: R|T|): R|T| {
|
||||||
^checkSubtype R|<local>/t|
|
^checkSubtype R|<local>/t|
|
||||||
}
|
}
|
||||||
public final [BODY_RESOLVE] val ab: R|kotlin/collections/List<kotlin/Int>?| = R|/checkSubtype|<R|kotlin/collections/List<kotlin/Int>?|>(Q|java/util/Collections|.R|java/util/Collections.emptyList|<R|ft<kotlin/Int, kotlin/Int?>|>())
|
public final [BODY_RESOLVE] val ab: R|kotlin/collections/List<kotlin/Int>?| = R|/checkSubtype|<R|kotlin/collections/List<kotlin/Int>?|>(Q|java/util/Collections|.R|java/util/Collections.emptyList|<R|kotlin/Int|>())
|
||||||
[BODY_RESOLVE] public get(): R|kotlin/collections/List<kotlin/Int>?|
|
[BODY_RESOLVE] public get(): R|kotlin/collections/List<kotlin/Int>?|
|
||||||
|
|||||||
Reference in New Issue
Block a user