Type substitutor logic regarding projection composition fixed

2012-11-19 19:50:56 +04:00
parent 7d8bde2ac6
commit 649259e715
4 changed files with 408 additions and 11 deletions
@@ -120,7 +120,9 @@ public class SubstitutionUtils {

    @NotNull
    public static TypeProjection makeStarProjection(@NotNull TypeParameterDescriptor parameterDescriptor) {
-        return new TypeProjection(Variance.OUT_VARIANCE, parameterDescriptor.getUpperBoundsAsType());
+        return new TypeProjection(parameterDescriptor.getVariance() == Variance.OUT_VARIANCE
+                                  ? Variance.INVARIANT
+                                  : Variance.OUT_VARIANCE, parameterDescriptor.getUpperBoundsAsType());
    }

    public static boolean hasUnsubstitutedTypeParameters(JetType type) {
@@ -159,14 +159,16 @@ public class TypeSubstitutor {
                case OUT_IN_IN_POSITION:
                    throw new SubstitutionException("Out-projection in in-position");
                case IN_IN_OUT_POSITION:
-                    replacement = SubstitutionUtils.makeStarProjection(typeParameter);
-                    break;
-            }
-            boolean resultingIsNullable = type.isNullable() || replacement.getType().isNullable();
-            JetType substitutedType = TypeUtils.makeNullableAsSpecified(replacement.getType(), resultingIsNullable);
-            Variance resultingProjectionKind = combine(originalProjection.getProjectionKind(), replacement.getProjectionKind());
+                    return SubstitutionUtils.makeStarProjection(typeParameter);
+                case NO_CONFLICT:
+                    boolean resultingIsNullable = type.isNullable() || replacement.getType().isNullable();
+                    JetType substitutedType = TypeUtils.makeNullableAsSpecified(replacement.getType(), resultingIsNullable);
+                    Variance resultingProjectionKind = combine(originalProjection.getProjectionKind(), replacement.getProjectionKind());

-            return new TypeProjection(resultingProjectionKind, substitutedType);
+                    return new TypeProjection(resultingProjectionKind, substitutedType);
+                default:
+                    throw new IllegalStateException();
+            }
        }
        else {
            // The type is not within the substitution range, i.e. Foo, Bar<T> etc.
@@ -192,9 +194,13 @@ public class TypeSubstitutor {
            TypeProjection substitutedTypeArgument = unsafeSubstitute(typeArgument, recursionDepth + 1);

            switch (conflictType(typeParameter.getVariance(), substitutedTypeArgument.getProjectionKind())) {
-                case OUT_IN_IN_POSITION:
-                    substitutedTypeArgument = new TypeProjection(Variance.IN_VARIANCE, typeParameter.getLowerBoundsAsType());
+                case NO_CONFLICT:
+                    // if the corresponding type parameter is already co/contra-variant, there's not need for an explicit projection
+                    if (typeParameter.getVariance() != Variance.INVARIANT) {
+                        substitutedTypeArgument = new TypeProjection(Variance.INVARIANT, substitutedTypeArgument.getType());
+                    }
                    break;
+                case OUT_IN_IN_POSITION:
                case IN_IN_OUT_POSITION:
                    substitutedTypeArgument = SubstitutionUtils.makeStarProjection(typeParameter);
                    break;
@@ -208,7 +214,8 @@ public class TypeSubstitutor {
    private static Variance combine(Variance typeParameterVariance, Variance projectionKind) {
        if (typeParameterVariance == Variance.INVARIANT) return projectionKind;
        if (projectionKind == Variance.INVARIANT) return typeParameterVariance;
-        return typeParameterVariance.superpose(projectionKind);
+        if (typeParameterVariance == projectionKind) return projectionKind;
+        return Variance.IN_VARIANCE;
    }

    private enum VarianceConflictType {
@@ -0,0 +1,13 @@
+class ___Context<T: Any, R> {
+  fun tr(t: T): R
+}
+
+fun <X> x(x: X): X
+
+fun <X> cx(x: C<X>): C<X>
+
+class C<X>
+class In<in T>
+class Out<out T>
+class P<X1, X2>
+
@@ -0,0 +1,375 @@
+/*
+ * Copyright 2010-2012 JetBrains s.r.o.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.jetbrains.jet.types;
+
+import com.google.common.collect.Maps;
+import com.intellij.openapi.util.Pair;
+import com.intellij.openapi.util.io.FileUtil;
+import com.intellij.openapi.util.text.StringUtil;
+import com.intellij.util.Function;
+import org.jetbrains.annotations.NotNull;
+import org.jetbrains.annotations.Nullable;
+import org.jetbrains.jet.ConfigurationKind;
+import org.jetbrains.jet.cli.jvm.compiler.JetCoreEnvironment;
+import org.jetbrains.jet.di.InjectorForTests;
+import org.jetbrains.jet.lang.descriptors.ClassDescriptor;
+import org.jetbrains.jet.lang.descriptors.ClassifierDescriptor;
+import org.jetbrains.jet.lang.descriptors.ModuleDescriptor;
+import org.jetbrains.jet.lang.descriptors.TypeParameterDescriptor;
+import org.jetbrains.jet.lang.diagnostics.Diagnostic;
+import org.jetbrains.jet.lang.diagnostics.rendering.DefaultErrorMessages;
+import org.jetbrains.jet.lang.psi.JetFile;
+import org.jetbrains.jet.lang.psi.JetPsiFactory;
+import org.jetbrains.jet.lang.psi.JetTypeReference;
+import org.jetbrains.jet.lang.resolve.AnalyzingUtils;
+import org.jetbrains.jet.lang.resolve.BindingTrace;
+import org.jetbrains.jet.lang.resolve.BindingTraceContext;
+import org.jetbrains.jet.lang.resolve.lazy.KotlinTestWithEnvironment;
+import org.jetbrains.jet.lang.resolve.lazy.LazyResolveTestUtil;
+import org.jetbrains.jet.lang.resolve.name.Name;
+import org.jetbrains.jet.lang.resolve.scopes.*;
+import org.jetbrains.jet.lang.types.*;
+import org.jetbrains.jet.lang.types.lang.KotlinBuiltIns;
+import org.jetbrains.jet.resolve.DescriptorRenderer;
+
+import java.io.File;
+import java.io.IOException;
+import java.util.Collections;
+import java.util.Map;
+
+@SuppressWarnings("unchecked")
+public class TypeSubstitutorTest extends KotlinTestWithEnvironment {
+    public static final String ILLEGAL_SUBSTITUTION = "[NULL]";
+    private JetScope scope;
+    private InjectorForTests injector;
+
+    @Override
+    protected JetCoreEnvironment createEnvironment() {
+        return createEnvironmentWithMockJdk(ConfigurationKind.JDK_ONLY);
+    }
+
+    @Override
+    protected void setUp() throws Exception {
+        super.setUp();
+
+        injector = new InjectorForTests(getProject());
+        scope = getContextScope();
+    }
+
+    private JetScope getContextScope() throws IOException {
+        // todo comments
+        String text = FileUtil.loadFile(new File("compiler/testData/type-substitutor.kt"));
+        JetFile jetFile = JetPsiFactory.createFile(getProject(), text);
+        ModuleDescriptor module = LazyResolveTestUtil.resolveLazily(Collections.singletonList(jetFile), getEnvironment());
+        JetScope topLevelDeclarations = module.getRootNamespace().getMemberScope();
+        ClassifierDescriptor contextClass = topLevelDeclarations.getClassifier(Name.identifier("___Context"));
+        assert contextClass instanceof ClassDescriptor;
+        WritableScopeImpl typeParameters = new WritableScopeImpl(JetScope.EMPTY, module, RedeclarationHandler.THROW_EXCEPTION,
+                                      "Type parameter scope");
+        for (TypeParameterDescriptor parameterDescriptor : contextClass.getTypeConstructor().getParameters()) {
+            typeParameters.addClassifierDescriptor(parameterDescriptor);
+        }
+        typeParameters.changeLockLevel(WritableScope.LockLevel.READING);
+        return new ChainedScope(module,
+                                topLevelDeclarations,
+                                typeParameters,
+                                contextClass.getDefaultType().getMemberScope(),
+                                KotlinBuiltIns.getInstance().getBuiltInsScope());
+    }
+
+    private void doTest(@Nullable String expectedTypeStr, String initialTypeStr, Pair<String, String>... substitutionStrs) {
+        JetType initialType = resolveType(initialTypeStr);
+
+        Map<TypeConstructor, TypeProjection> map = stringsToSubstitutionMap(substitutionStrs);
+        TypeSubstitutor substitutor = TypeSubstitutor.create(map);
+
+        JetType result = substitutor.substitute(initialType, Variance.INVARIANT);
+
+        assertEquals(expectedTypeStr, DescriptorRenderer.TEXT.renderTypeWithShortNames(result));
+    }
+
+    private Map<TypeConstructor, TypeProjection> stringsToSubstitutionMap(Pair<String, String>[] substitutionStrs) {
+        Map<TypeConstructor, TypeProjection> map = Maps.newHashMap();
+        for (Pair<String, String> pair : substitutionStrs) {
+            String typeParameterName = pair.first;
+            String replacementProjectionString = pair.second;
+
+            ClassifierDescriptor classifier = scope.getClassifier(Name.identifier(typeParameterName));
+            assertNotNull("No type parameter named " + typeParameterName, classifier);
+            assertTrue(typeParameterName + " is not a type parameter: " + classifier, classifier instanceof TypeParameterDescriptor);
+
+            String typeStr = "C<" + replacementProjectionString + ">";
+            JetType typeWithArgument = resolveType(typeStr);
+            assert !typeWithArgument.getArguments().isEmpty() : "No arguments: " + typeWithArgument + " from " + typeStr;
+
+            map.put(classifier.getTypeConstructor(), typeWithArgument.getArguments().get(0));
+        }
+        return map;
+    }
+
+    private JetType resolveType(String typeStr) {
+        JetTypeReference jetTypeReference = JetPsiFactory.createType(getProject(), typeStr);
+        AnalyzingUtils.checkForSyntacticErrors(jetTypeReference);
+        BindingTrace trace = new BindingTraceContext();
+        JetType type = injector.getTypeResolver().resolveType(scope, jetTypeReference, trace, true);
+        if (!trace.getBindingContext().getDiagnostics().isEmpty()) {
+            fail("Errors:\n" + StringUtil.join(
+                    trace.getBindingContext().getDiagnostics(),
+                    new Function<Diagnostic, String>() {
+                        @Override
+                        public String fun(Diagnostic diagnostic) {
+                            return DefaultErrorMessages.RENDERER.render(diagnostic);
+                        }
+                    },
+                    "\n"));
+        }
+        return type;
+    }
+
+    @NotNull
+    private static Pair<String, String> map(String typeParameterName, String replacementProjectionString) {
+        return Pair.create(typeParameterName, replacementProjectionString);
+    }
+
+    public void testNoOccurrence() throws Exception {
+        doTest(
+                "C<Int>",
+                "C<Int>",
+                map("T", "String")
+        );
+    }
+
+    public void testSimpleOccurrence() throws Exception {
+        doTest(
+                "C<String>",
+                "C<T>",
+                map("T", "String")
+        );
+    }
+
+    public void testSimpleOutProjectionInReplacement() throws Exception {
+        doTest(
+                "C<out String>",
+                "C<T>",
+                map("T", "out String")
+        );
+    }
+
+    public void testSimpleInProjectionInReplacement() throws Exception {
+        doTest(
+                "C<in String>",
+                "C<T>",
+                map("T", "in String")
+        );
+    }
+
+    public void testSimpleOutProjectionInSubject() throws Exception {
+        doTest(
+                "C<out String>",
+                "C<out T>",
+                map("T", "String")
+        );
+    }
+
+    public void testSimpleInProjectionInSubject() throws Exception {
+        doTest(
+                "C<in String>",
+                "C<in T>",
+                map("T", "String")
+        );
+    }
+
+    public void testOutOutProjection() throws Exception {
+        doTest(
+                "C<out String>",
+                "C<out T>",
+                map("T", "out String")
+        );
+    }
+
+    public void testInInProjection() throws Exception {
+        doTest(
+                "C<in String>",
+                "C<in T>",
+                map("T", "in String")
+        );
+    }
+
+    public void testInOutProjection() throws Exception {
+        doTest(
+                ILLEGAL_SUBSTITUTION,
+                "C<in T>",
+                map("T", "out String")
+        );
+    }
+
+    public void testOutInProjection() throws Exception {
+        doTest(
+                "C<out Any>",
+                "C<out T>",
+                map("T", "in String")
+        );
+    }
+
+    public void testOutOutProjectionDeclarationSite() throws Exception {
+        doTest(
+                "Out<String>",
+                "Out<T>",
+                map("T", "out String")
+        );
+    }
+
+    public void testInInProjectionDeclarationSite() throws Exception {
+        doTest(
+                "In<String>",
+                "In<T>",
+                map("T", "in String")
+        );
+    }
+
+    public void testInOutProjectionDeclarationSite() throws Exception {
+        doTest(
+                "In<out Any?>",
+                "In<T>",
+                map("T", "out String")
+        );
+    }
+
+    public void testOutInProjectionDeclarationSite() throws Exception {
+        doTest(
+                "Out<Any?>",
+                "Out<T>",
+                map("T", "in String")
+        );
+    }
+
+    public void testTwoParameters() throws Exception {
+        doTest(
+                "P<Int, String>",
+                "P<T, R>",
+                map("T", "Int"),
+                map("R", "String")
+        );
+    }
+
+    public void testDeepType() throws Exception {
+        doTest(
+                "C<P<Int, P<Int, String>>>",
+                "C<P<T,   P<T,   R>>>",
+                map("T", "Int"),
+                map("R", "String")
+        );
+    }
+
+    public void testShallowType() throws Exception {
+        doTest(
+                "String",
+                "T",
+                map("T", "String")
+        );
+    }
+
+    public void testShallowTypeNullable() throws Exception {
+        doTest(
+                "String?",
+                "T?",
+                map("T", "String")
+        );
+    }
+
+    public void testShallowTypeNullableReplacement() throws Exception {
+        doTest(
+                "String?",
+                "T",
+                map("T", "String?")
+        );
+    }
+
+    public void testShallowTypeNullableOnBothEnds() throws Exception {
+        doTest(
+                "String?",
+                "T?",
+                map("T", "String?")
+        );
+    }
+
+    public void testNothingType() throws Exception {
+        doTest(
+                "Nothing",
+                "Nothing",
+                map("T", "String")
+        );
+    }
+
+    public void testCallSiteNullable() throws Exception {
+        doTest(
+                "C<String?>",
+                "C<T?>",
+                map("T", "String")
+        );
+    }
+
+    public void testReplacementNullable() throws Exception {
+        doTest(
+                "C<String?>",
+                "C<T>",
+                map("T", "String?")
+        );
+    }
+
+    public void testCallSiteNullableWithProjection() throws Exception {
+        doTest(
+                "C<out String?>",
+                "C<T?>",
+                map("T", "out String")
+        );
+    }
+
+    public void testReplacementNullableWithProjection() throws Exception {
+        doTest(
+                "C<out String?>",
+                "C<out T>",
+                map("T", "String?")
+        );
+    }
+
+    public void testCallSiteNullableWithConsumedProjection() throws Exception {
+        doTest(
+                "Out<String?>",
+                "Out<T?>",
+                map("T", "out String")
+        );
+    }
+
+    public void testReplacementNullableConsumedProjection() throws Exception {
+        doTest(
+                "In<String?>",
+                "In<T>",
+                map("T", "in String?")
+        );
+    }
+
+    //public void testTwoParametersInChain() throws Exception {
+    //    doTest(
+    //            "P<Int, Int>",
+    //            "P<T, R>",
+    //            map("T", "Int"),
+    //            map("R", "T")
+    //    );
+    //}
+
+}