From fb48cacf29913a27557757d018f6a64933a16b1e Mon Sep 17 00:00:00 2001 From: Andrey Breslav Date: Tue, 25 Jan 2011 15:25:53 +0300 Subject: [PATCH] Initial stub version of resolve for types --- idea/src/org/jetbrains/jet/lang/types/JetTypeChecker.java | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/idea/src/org/jetbrains/jet/lang/types/JetTypeChecker.java b/idea/src/org/jetbrains/jet/lang/types/JetTypeChecker.java index a3f1e859503..9607dbd5e0d 100644 --- a/idea/src/org/jetbrains/jet/lang/types/JetTypeChecker.java +++ b/idea/src/org/jetbrains/jet/lang/types/JetTypeChecker.java @@ -1,14 +1,11 @@ package org.jetbrains.jet.lang.types; import com.intellij.psi.tree.IElementType; -import org.jetbrains.annotations.NotNull; import org.jetbrains.annotations.Nullable; import org.jetbrains.jet.JetNodeTypes; import org.jetbrains.jet.lang.psi.*; import java.util.ArrayList; -import java.util.Collection; -import java.util.HashSet; import java.util.List; /** @@ -77,6 +74,10 @@ public class JetTypeChecker { return checkSubtypeForTheSameConstructor(closestSupertype, supertype); } + private boolean checkSubtypeForTheSameConstructor(Type closestSupertype, Type supertype) { + throw new UnsupportedOperationException(); // TODO + } + // This method returns the supertype of the first parameter that has the same constructor // as the second parameter, applying the substitution of type arguments to it @Nullable