From 3562a37f31bf850462fc9fb5b1ac4f32da16b095 Mon Sep 17 00:00:00 2001 From: Andrey Breslav Date: Wed, 12 Oct 2011 21:18:57 +0400 Subject: [PATCH] Report NO_CLASS_OBJECT when no namespace is found and no class object if found --- .../src/org/jetbrains/jet/lang/types/JetTypeInferrer.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java b/compiler/frontend/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java index 96bd1efce29..6ccd009a9f2 100644 --- a/compiler/frontend/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java +++ b/compiler/frontend/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java @@ -887,6 +887,12 @@ public class JetTypeInferrer { if (furtherNameLookup(expression, referencedName, result, context)) { return context.services.checkType(result[0], expression, context); } + // To report NO_CLASS_OBJECT when no namespace found + if (classifier != null) { + context.trace.report(NO_CLASS_OBJECT.on(expression, classifier)); + context.trace.record(REFERENCE_TARGET, expression, classifier); + return ErrorUtils.createErrorType("No class object in " + expression.getReferencedName()); + } return null; }