Index: runtime/vm/ast.h |
=================================================================== |
--- runtime/vm/ast.h (revision 31085) |
+++ runtime/vm/ast.h (working copy) |
@@ -370,6 +370,10 @@ |
ASSERT(type_.IsZoneHandle()); |
ASSERT(!type_.IsNull()); |
ASSERT(type_.IsFinalized()); |
+ // A wellformed literal Type must be canonical. |
+ ASSERT(!type_.IsType() || |
+ type_.IsMalformedOrMalbounded() || |
+ type_.IsCanonical()); |
} |
const AbstractType& type() const { return type_; } |