azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Do not erase type arguments for unresolved method calls

Browse Source
This commit is contained in:
Igor Yakovlev
2021-01-26 19:29:19 +03:00
parent 659d2c13b4
commit 9f282e0ddc
4 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/FirCallCompletionResultsWriterTransformer.kt
+3 -1
View File
@@ -108,7 +108,9 @@ class FirCallCompletionResultsWriterTransformer(
.transformDispatchReceiver(StoreReceiver, subCandidate.dispatchReceiverExpression()) .transformDispatchReceiver(StoreReceiver, subCandidate.dispatchReceiverExpression())
.transformExtensionReceiver(StoreReceiver, subCandidate.extensionReceiverExpression()) as T .transformExtensionReceiver(StoreReceiver, subCandidate.extensionReceiverExpression()) as T
result.replaceTypeRef(typeRef) result.replaceTypeRef(typeRef)
result.replaceTypeArguments(typeArguments) if (declaration !is FirErrorFunction) {
result.replaceTypeArguments(typeArguments)
}
return result return result
} }
compiler/testData/diagnostics/tests/StarsInFunctionCalls.fir.kt
Vendored
+1 -1
View File
@@ -7,7 +7,7 @@ fun foo(a : Any?) {}
public fun main() { public fun main() {
getT<<!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>>() getT<<!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>>()
<!UNRESOLVED_REFERENCE!>ggetT<!><*>() <!UNRESOLVED_REFERENCE!>ggetT<!><<!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>>()
getTT<<!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>, <!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>>() getTT<<!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>, <!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>>()
getTT<<!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>, Int>() getTT<<!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>, Int>()
getTT<Int, <!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>>() getTT<Int, <!PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT!>*<!>>()
compiler/testData/diagnostics/tests/resolve/resolveTypeArgsForUnresolvedCall.fir.kt
Vendored
+1 -1
View File
@@ -1,4 +1,4 @@
fun foo() { fun foo() {
<!UNRESOLVED_REFERENCE!>x<!>.<!UNRESOLVED_REFERENCE!>yyy<!><XXX>() <!UNRESOLVED_REFERENCE!>x<!>.<!UNRESOLVED_REFERENCE!>yyy<!><<!UNRESOLVED_REFERENCE!>XXX<!>>()
<!UNRESOLVED_REFERENCE!>x<!>.<!UNRESOLVED_REFERENCE!>yyy<!><Int>() <!UNRESOLVED_REFERENCE!>x<!>.<!UNRESOLVED_REFERENCE!>yyy<!><Int>()
} }
idea/testData/resolve/references/AnnotationParameter.kt
Vendored
-1
View File
@@ -1,4 +1,3 @@
// IGNORE_FIR
package testing package testing
annotation class Annotation<T>(val clazz: Class<T>) annotation class Annotation<T>(val clazz: Class<T>)