From 0dd7387f6c8f7314f789a956d2be4723a89ce555 Mon Sep 17 00:00:00 2001 From: Stepan Koltsov Date: Tue, 17 Jan 2012 19:32:05 +0400 Subject: [PATCH] substitute on error class should be error --- .../src/org/jetbrains/jet/lang/types/ErrorUtils.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java b/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java index 87c02bed6d3..339f72f3381 100644 --- a/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java +++ b/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java @@ -96,6 +96,12 @@ public class ErrorUtils { public Modality getModality() { return Modality.OPEN; } + + @NotNull + @Override + public ClassDescriptor substitute(TypeSubstitutor substitutor) { + return ERROR_CLASS; + } }; private static final Set ERROR_FUNCTION_GROUP = Collections.singleton(createErrorFunction(0, Collections.emptyList()));