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

Unified Diff: sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart

Issue 19097003: Support new malformed types semantics. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Fix unittests. Created 7 years, 5 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: sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart
diff --git a/sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart b/sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart
index 1164c64946819caa0cbec22b86454d01b70dd5ca..b9a50a2f0f0445d432f8651a8244a5873adaf93e 100644
--- a/sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart
+++ b/sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart
@@ -41,7 +41,7 @@ class FlatTypeMask implements TypeMask {
FlatTypeMask.internal(DartType base, this.flags)
: this.base = transformBase(base) {
- assert(base == null || !(isExact && base.isDynamic));
+ assert(base == null || !(isExact && base.treatAsDynamic));
}
// TODO(kasperl): We temporarily transform the base to be the raw
@@ -54,7 +54,6 @@ class FlatTypeMask implements TypeMask {
assert(base.kind == TypeKind.INTERFACE);
return null;
} else {
- assert(!base.isMalformed);
return base.asRaw();
}
}

Powered by Google App Engine
This is Rietveld 408576698