From d2a9cd7b4310a9c837d0f6ddbec223ac703ac836 Mon Sep 17 00:00:00 2001 From: Andrey Breslav Date: Wed, 30 Oct 2013 16:47:18 +0400 Subject: [PATCH] Render types with renderer --- .../java/kotlinSignature/SignaturesPropagationData.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/SignaturesPropagationData.java b/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/SignaturesPropagationData.java index fcaffc0ca5e..74b0020a3fc 100644 --- a/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/SignaturesPropagationData.java +++ b/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/SignaturesPropagationData.java @@ -47,6 +47,7 @@ import org.jetbrains.jet.lang.resolve.name.Name; import org.jetbrains.jet.lang.resolve.scopes.JetScope; import org.jetbrains.jet.lang.types.*; import org.jetbrains.jet.lang.types.lang.KotlinBuiltIns; +import org.jetbrains.jet.renderer.DescriptorRenderer; import java.util.*; @@ -597,7 +598,8 @@ public class SignaturesPropagationData { boolean annotatedAsNotNull = howThisTypeIsUsed != TYPE_ARGUMENT && !autoType.isNullable(); if (annotatedAsNotNull && someSupersNotCovariantNullable) { - reportError("In superclass type is nullable: " + typesFromSuper + ", in subclass it is not: " + autoType); + DescriptorRenderer renderer = DescriptorRenderer.SOURCE_CODE_SHORT_NAMES_IN_TYPES; + reportError("In superclass type is nullable: " + typesFromSuper + ", in subclass it is not: " + renderer.renderType(autoType)); return true; }