Render candidate and resulting descriptors in resolved call tests

compiler/testData/resolvedCalls/arguments/functionLiterals/chainedLambdas.txt

@@ -8,6 +8,9 @@ fun test() {
 
 Resolved call:
 
+Candidate descriptor: fun <T, S, R> foo(t: T, f: (T) -> S, g: (S) -> R): Unit
+Resulting descriptor: fun <T, S, R> foo(t: Int, f: (Int) -> String, g: (String) -> Int): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/functionLiterals/notInferredLambdaReturnType.txt

@@ -7,6 +7,9 @@ fun test() {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(f: () -> T): Unit
+Resulting descriptor: fun <T> foo(f: () -> ???): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/functionLiterals/notInferredLambdaType.txt

@@ -7,6 +7,9 @@ fun test() {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(f: (T) -> String): Unit
+Resulting descriptor: fun <T> foo(f: (???) -> String): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/functionLiterals/simpleGenericLambda.txt

@@ -7,6 +7,9 @@ fun test() {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(f: (T) -> String): Unit
+Resulting descriptor: fun <T> foo(f: (Int) -> String): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/functionLiterals/simpleLambda.txt

@@ -7,6 +7,8 @@ fun test() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(f: (Int) -> String): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/functionLiterals/unmappedLambda.txt

@@ -7,6 +7,8 @@ fun test() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/genericCalls/inferredParameter.txt

@@ -9,6 +9,9 @@ fun test(a: Any, ls: List<String>) {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(t: T, l: List<T>): Unit
+Resulting descriptor: fun <T> foo(t: Comparable<out Any?>, l: List<Comparable<out Any?>>): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/genericCalls/simpleGeneric.txt

@@ -9,6 +9,9 @@ fun bar() {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(t: T): Unit
+Resulting descriptor: fun <T> foo(t: A): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/genericCalls/uninferredParameter.txt

@@ -9,6 +9,9 @@ fun test(ls: MutableList<String>) {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(t: T, l: MutableList<T>): Unit
+Resulting descriptor: fun <T> foo(t: ???, l: MutableList<???>): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/genericCalls/uninferredParameterTypeMismatch.txt

@@ -7,6 +7,9 @@ fun test() {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(l: List<T>): Unit
+Resulting descriptor: fun <T> foo(l: List<???>): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/namedArguments/positionedAfterNamed.txt

@@ -10,6 +10,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(a: A, b: B): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/namedArguments/shiftedArgsMatch.txt

@@ -10,6 +10,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(a: A, b: B): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/oneArgument/argumentHasNoType.txt

@@ -9,6 +9,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(a: A): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/oneArgument/simpleMatch.txt

@@ -9,6 +9,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(a: A): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/oneArgument/typeMismatch.txt

@@ -9,6 +9,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(a: A): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/oneArgument/unmappedArgument.txt

@@ -7,6 +7,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/realExamples/emptyList.txt

@@ -11,6 +11,9 @@ fun bar() {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(t: T): Unit
+Resulting descriptor: fun <T> foo(t: List<???>): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/realExamples/emptyMutableList.txt

@@ -11,6 +11,9 @@ fun bar() {
 
 Resolved call:
 
+Candidate descriptor: fun <T> foo(t: T): Unit
+Resulting descriptor: fun <T> foo(t: MutableList<???>): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/arguments/severalCandidates/mostSpecific.txt

@@ -11,6 +11,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(a: A, s: String): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/explicitReceiverIsReceiverArgument.txt

@@ -9,6 +9,8 @@ fun bar(a: A) {
 
 Resolved call:
 
+Resulting descriptor: fun A.foo(): Unit
+
 Explicit receiver kind = RECEIVER_ARGUMENT
 This object = NO_RECEIVER
-Receiver argument = a
+Receiver argument = a {A}

compiler/testData/resolvedCalls/explicitReceiverIsThisObject.txt

@@ -9,6 +9,8 @@ fun bar(a: A) {
 
 Resolved call:
 
+Resulting descriptor: fun foo(): Unit
+
 Explicit receiver kind = THIS_OBJECT
-This object = a
+This object = a {A}
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/functionTypes/invokeForExtensionFunctionType.txt

@@ -5,6 +5,8 @@ fun bar(f: Int.()->Unit) {
 
 Resolved call:
 
+Resulting descriptor: fun Int.invoke(): Unit
+
 Explicit receiver kind = BOTH_RECEIVERS
-This object = f
+This object = f {ExtensionFunction0<Int, Unit>}
-Receiver argument = 1
+Receiver argument = 1 {Int}

compiler/testData/resolvedCalls/functionTypes/invokeForFunctionType.txt

@@ -5,6 +5,8 @@ fun bar(f: ()->Unit) {
 
 Resolved call:
 
+Resulting descriptor: fun invoke(): Unit
+
 Explicit receiver kind = THIS_OBJECT
-This object = f
+This object = f {Function0<Unit>}
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/functionTypes/valOfExtensionFunctionType.txt

@@ -9,6 +9,8 @@ trait A {
 
 Resolved call:
 
+Resulting descriptor: val foo: Int.() -> Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = Class{A}
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/functionTypes/valOfExtensionFunctionTypeInvoke.txt

@@ -9,6 +9,8 @@ trait A {
 
 Resolved call:
 
+Resulting descriptor: fun Int.invoke(): Unit
+
 Explicit receiver kind = BOTH_RECEIVERS
-This object = foo
+This object = foo {ExtensionFunction0<Int, Unit>}
-Receiver argument = 1
+Receiver argument = 1 {Int}

compiler/testData/resolvedCalls/functionTypes/valOfFunctionType.txt

@@ -9,6 +9,8 @@ fun test(a: A) {
 
 Resolved call:
 
+Resulting descriptor: val foo: (Int) -> Int
+
 Explicit receiver kind = THIS_OBJECT
-This object = a
+This object = a {A}
-Receiver argument = NO_RECEIVER
+Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/functionTypes/valOfFunctionTypeInvoke.txt

@@ -9,8 +9,10 @@ fun test(a: A) {
 
 Resolved call:
 
+Resulting descriptor: fun invoke(p1: Int): Int
+
 Explicit receiver kind = THIS_OBJECT
-This object = foo
+This object = foo {Function1<Int, Int>}
 Receiver argument = NO_RECEIVER
 
 Value arguments mapping:

compiler/testData/resolvedCalls/hasBothThisObjectAndReceiverArgument.txt

@@ -15,6 +15,8 @@ fun <T, R> with(receiver: T, f: T.() -> R) : R = receiver.f()
 
 Resolved call:
 
+Resulting descriptor: fun B.foo(): Unit
+
 Explicit receiver kind = RECEIVER_ARGUMENT
-This object = A
+This object = AExt{fun A.<anonymous>(): Unit}
-Receiver argument = b
+Receiver argument = b {B}

compiler/testData/resolvedCalls/hasBothThisObjectAndReceiverArgumentWithoutExplicitReceiver.txt

@@ -17,6 +17,8 @@ fun <T, R> with(receiver: T, f: T.() -> R) : R = receiver.f()
 
 Resolved call:
 
+Resulting descriptor: fun B.foo(): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
-This object = A
+This object = AExt{fun A.<anonymous>(): Unit}
-Receiver argument = B
+Receiver argument = BExt{fun B.<anonymous>(): Unit}

compiler/testData/resolvedCalls/implicitReceiverIsReceiverArgument.txt

@@ -9,6 +9,8 @@ fun A.bar() {
 
 Resolved call:
 
+Resulting descriptor: fun A.foo(): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
-Receiver argument = A
+Receiver argument = AExt{fun A.bar(): Unit}

compiler/testData/resolvedCalls/implicitReceiverIsThisObject.txt

@@ -9,6 +9,8 @@ fun A.bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
-This object = A
+This object = AExt{fun A.bar(): Unit}
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/impliedThisNoExplicitReceiver.txt

@@ -8,6 +8,8 @@ class A {
 
 Resolved call:
 
+Resulting descriptor: fun foo(): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = Class{A}
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/invoke/bothReceivers.txt

@@ -9,6 +9,8 @@ fun bar(f: Foo) {
 
 Resolved call:
 
+Resulting descriptor: fun Int.invoke(): Unit
+
 Explicit receiver kind = BOTH_RECEIVERS
-This object = f
+This object = f {Foo}
-Receiver argument = 1
+Receiver argument = 1 {Int}

compiler/testData/resolvedCalls/invoke/implicitReceiverForInvoke.txt

@@ -13,6 +13,8 @@ fun <T, R> with(receiver: T, f: T.() -> R) : R = throw Exception()
 
 Resolved call:
 
+Resulting descriptor: fun Int.invoke(): Unit
+
 Explicit receiver kind = THIS_OBJECT
-This object = f
+This object = f {Foo}
-Receiver argument = Int
+Receiver argument = IntExt{fun Int.<anonymous>(): Unit}

compiler/testData/resolvedCalls/invoke/receiverArgumentAsReceiverForInvoke.txt

@@ -8,6 +8,8 @@ fun bar(f: Foo) {
 
 Resolved call:
 
+Resulting descriptor: fun Foo.invoke(): Unit
+
 Explicit receiver kind = RECEIVER_ARGUMENT
 This object = NO_RECEIVER
-Receiver argument = f
+Receiver argument = f {Foo}

compiler/testData/resolvedCalls/invoke/thisObjectAsReceiverForInvoke.txt

@@ -9,6 +9,8 @@ fun bar(f: Foo) {
 
 Resolved call:
 
+Resulting descriptor: fun invoke(): Unit
+
 Explicit receiver kind = THIS_OBJECT
-This object = f
+This object = f {Foo}
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/realExamples/stringPlusInBuilders.txt

@@ -41,6 +41,8 @@ val fail: Nothing get() = throw Exception()
 
 Resolved call:
 
+Resulting descriptor: fun String.plus(): Unit
+
 Explicit receiver kind = RECEIVER_ARGUMENT
-This object = Title
+This object = TitleExt{fun Title.<anonymous>(): Unit}
-Receiver argument = "Foo"
+Receiver argument = "Foo" {String}

compiler/testData/resolvedCalls/simpleCall.txt

@@ -7,6 +7,8 @@ fun bar() {
 
 Resolved call:
 
+Resulting descriptor: fun foo(): Unit
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/this/labeledThis.txt

@@ -7,6 +7,8 @@ class A {
 
 Resolved call:
 
+Resulting descriptor: Class{A}::this
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/this/simpleThis.txt

@@ -7,6 +7,8 @@ class A {
 
 Resolved call:
 
+Resulting descriptor: Class{A}::this
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/testData/resolvedCalls/this/thisInExtensionFunction.txt

@@ -7,6 +7,8 @@ fun A.bar() = <caret>this.foo()
 
 Resolved call:
 
+Resulting descriptor: AExt{fun A.bar(): Unit}::this
+
 Explicit receiver kind = NO_EXPLICIT_RECEIVER
 This object = NO_RECEIVER
 Receiver argument = NO_RECEIVER

compiler/tests/org/jetbrains/jet/resolve/calls/AbstractResolvedCallsTest.kt

@@ -21,7 +21,6 @@ import org.jetbrains.jet.JetLiteFixture
 import org.jetbrains.jet.JetTestUtils
 import org.jetbrains.jet.cli.jvm.compiler.JetCoreEnvironment
 import org.jetbrains.jet.lang.resolve.calls.model.ResolvedCall
-import org.jetbrains.jet.lang.resolve.scopes.receivers.AbstractReceiverValue
 import org.jetbrains.jet.lang.resolve.scopes.receivers.ExpressionReceiver
 import org.jetbrains.jet.lang.resolve.scopes.receivers.ReceiverValue
 
@@ -38,6 +37,10 @@ import org.jetbrains.jet.lang.psi.JetExpression
 import com.intellij.psi.util.PsiTreeUtil
 import org.jetbrains.jet.lang.resolve.calls.model.VariableAsFunctionResolvedCall
 import org.jetbrains.jet.lang.resolve.bindingContextUtil.getParentResolvedCall
+import org.jetbrains.jet.lang.descriptors.ReceiverParameterDescriptor
+import org.jetbrains.jet.lang.resolve.scopes.receivers.ExtensionReceiver
+import org.jetbrains.jet.lang.descriptors.DeclarationDescriptor
+import org.jetbrains.jet.lang.resolve.scopes.receivers.ClassReceiver
 
 public abstract class AbstractResolvedCallsTest() : JetLiteFixture() {
     override fun createEnvironment(): JetCoreEnvironment = createEnvironmentWithMockJdk(ConfigurationKind.JDK_ONLY)
@@ -63,8 +66,9 @@ public abstract class AbstractResolvedCallsTest() : JetLiteFixture() {
 }
 
 private fun ReceiverValue.getText() = when (this) {
-    is ExpressionReceiver -> getExpression().getText()
+    is ExpressionReceiver -> "${getExpression().getText()} {${getType()}}"
-    is AbstractReceiverValue -> getType().toString()
+    is ClassReceiver -> "Class{${getType()}}"
+    is ExtensionReceiver -> "${getType()}Ext{${getDeclarationDescriptor().getText()}}"
     else -> toString()
 }
 
@@ -78,25 +82,38 @@ private fun ArgumentMapping.getText() = when (this) {
     else -> "ARGUMENT UNMAPPED: "
 }
 
+private fun DeclarationDescriptor.getText(): String = when (this) {
+    is ReceiverParameterDescriptor -> "${getValue().getText()}::this"
+    else -> DescriptorRenderer.COMPACT_WITH_SHORT_TYPES.render(this)
+}
+
 private fun ResolvedCall<*>.renderToText(): String {
-    val result = StringBuilder()
+    return StringBuilder {
-    fun addLine(line: String) = result.append(line).append("\n")
+        appendln("Resolved call:")
+        appendln()
 
-    addLine("Resolved call:\n")
+        if (getCandidateDescriptor() != getResultingDescriptor()) {
-    addLine("Explicit receiver kind = ${getExplicitReceiverKind()}")
+            appendln("Candidate descriptor: ${getCandidateDescriptor()!!.getText()}")
-    addLine("This object = ${getThisObject().getText()}")
+        }
-    addLine("Receiver argument = ${getReceiverArgument().getText()}")
+        appendln("Resulting descriptor: ${getResultingDescriptor()!!.getText()}")
+        appendln()
 
-    val valueArguments = getCall().getAllValueArguments()
+        appendln("Explicit receiver kind = ${getExplicitReceiverKind()}")
-    if (valueArguments.isEmpty()) return result.toString()
+        appendln("This object = ${getThisObject().getText()}")
+        appendln("Receiver argument = ${getReceiverArgument().getText()}")
 
-    addLine("\nValue arguments mapping:\n")
+        val valueArguments = getCall().getAllValueArguments()
+        if (!valueArguments.isEmpty()) {
+            appendln()
+            appendln("Value arguments mapping:")
+            appendln()
 
-    for (valueArgument in valueArguments) {
+            for (valueArgument in valueArguments) {
-        val argumentText = valueArgument.getText()
+                val argumentText = valueArgument.getText()
-        val argumentMappingText = getArgumentMapping(valueArgument).getText()
+                val argumentMappingText = getArgumentMapping(valueArgument).getText()
 
-        addLine("$argumentMappingText $argumentText")
+                appendln("$argumentMappingText $argumentText")
-    }
+            }
-    return result.toString()
+        }
+    }.toString()
 }

core/descriptors/src/org/jetbrains/jet/renderer/DescriptorRenderer.java

@@ -49,6 +49,12 @@ public interface DescriptorRenderer extends Renderer<DeclarationDescriptor> {
             .setWithDefinedIn(false)
             .setModifiers().build();
 
+    DescriptorRenderer COMPACT_WITH_SHORT_TYPES = new DescriptorRendererBuilder()
+            .setWithDefinedIn(false)
+            .setModifiers()
+            .setShortNames(true)
+            .setIncludeSynthesizedParameterNames(false).build();
+
     DescriptorRenderer STARTS_FROM_NAME = new DescriptorRendererBuilder()
             .setWithDefinedIn(false)
             .setModifiers()