| Index: lib/compiler/implementation/types/concrete_types_inferrer.dart
|
| ===================================================================
|
| --- lib/compiler/implementation/types/concrete_types_inferrer.dart (revision 13487)
|
| +++ lib/compiler/implementation/types/concrete_types_inferrer.dart (working copy)
|
| @@ -17,7 +17,7 @@
|
| * - the null base type
|
| * - the unknown base type
|
| */
|
| -abstract class BaseType extends Hashable {
|
| +abstract class BaseType {
|
| bool isUnknown();
|
| bool isNull();
|
| }
|
| @@ -68,7 +68,7 @@
|
| * An immutable set of base types, like [: {int, bool} :] or the unknown
|
| * concrete type.
|
| */
|
| -abstract class ConcreteType extends Hashable {
|
| +abstract class ConcreteType {
|
| factory ConcreteType.empty() => new UnionType(new Set<BaseType>());
|
|
|
| /**
|
| @@ -243,7 +243,7 @@
|
| * A method-local immutable mapping from variables to their inferred
|
| * [ConcreteTypes]. Each visitor owns one.
|
| */
|
| -class ConcreteTypesEnvironment implements Hashable {
|
| +class ConcreteTypesEnvironment {
|
| final Map<Element, ConcreteType> environment;
|
| final BaseType typeOfThis;
|
| ConcreteTypesEnvironment([this.typeOfThis]) :
|
|
|