Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(88)

Unified Diff: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/type/TypeParameterTypeImplTest.java

Issue 26888007: Propagate type arguments into type variable bounds. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 7 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/type/TypeParameterTypeImplTest.java
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/type/TypeParameterTypeImplTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/type/TypeParameterTypeImplTest.java
index 991e071ef82c3b973ff8cf0fbc8e62c91139936a..2bff661f862bc116c107f06e69a36393f921db60 100644
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/type/TypeParameterTypeImplTest.java
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/type/TypeParameterTypeImplTest.java
@@ -15,12 +15,10 @@ package com.google.dart.engine.internal.type;
import com.google.dart.engine.EngineTestCase;
import com.google.dart.engine.element.ClassElement;
-import com.google.dart.engine.element.TypeParameterElement;
import com.google.dart.engine.internal.element.ClassElementImpl;
import com.google.dart.engine.internal.element.TypeParameterElementImpl;
import com.google.dart.engine.type.InterfaceType;
import com.google.dart.engine.type.Type;
-import com.google.dart.engine.type.TypeParameterType;
import static com.google.dart.engine.ast.ASTFactory.identifier;
import static com.google.dart.engine.element.ElementFactory.classElement;
@@ -86,26 +84,6 @@ public class TypeParameterTypeImplTest extends EngineTestCase {
assertTrue(type.isMoreSpecificThan(type));
}
- public void test_isMoreSpecificThan_typeArguments_selfBound() {
- ClassElementImpl classBase = classElement("Base", "T");
- ClassElementImpl classB = classElement("B", "U");
- ClassElementImpl classC = classElement("C", "W");
- InterfaceType typeBase = classBase.getType();
-
- TypeParameterElement elementBU = classB.getTypeParameters()[0];
- TypeParameterType typeVarBU = elementBU.getType();
- InterfaceType baseBU = typeBase.substitute(new Type[] {typeVarBU});
- ((TypeParameterElementImpl) elementBU).setBound(baseBU);
-
- TypeParameterElement elementCW = classC.getTypeParameters()[0];
- TypeParameterType typeVarCW = elementCW.getType();
- InterfaceType baseCW = typeBase.substitute(new Type[] {typeVarCW});
- ((TypeParameterElementImpl) elementCW).setBound(baseCW);
-
- assertTrue(typeVarBU.isMoreSpecificThan(baseCW));
- assertTrue(typeVarCW.isMoreSpecificThan(baseBU));
- }
-
public void test_isMoreSpecificThan_typeArguments_transitivity_interfaceTypes() {
// class A {}
// class B extends A {}

Powered by Google App Engine
This is Rietveld 408576698