From 7af188c9beeeac3742c2f5a8f9e1af40782cd2c3 Mon Sep 17 00:00:00 2001 From: Andrey Breslav Date: Fri, 5 Aug 2011 14:13:02 +0400 Subject: [PATCH] Escaping for types --- idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java b/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java index f6a46d59fa4..2261bbaea69 100644 --- a/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java +++ b/idea/src/org/jetbrains/jet/resolve/DescriptorRenderer.java @@ -79,7 +79,7 @@ public class DescriptorRenderer { } public String renderType(JetType type) { - return "" + type; + return escape(type.toString()); } protected String escape(String s) {