Index: pkg/kernel/lib/text/ast_to_text.dart |
diff --git a/pkg/kernel/lib/text/ast_to_text.dart b/pkg/kernel/lib/text/ast_to_text.dart |
index 18be9de8860b332563538e31d135145a2867ce16..a9449c174f6c43171389e7ae86a0e2c7a4eefd64 100644 |
--- a/pkg/kernel/lib/text/ast_to_text.dart |
+++ b/pkg/kernel/lib/text/ast_to_text.dart |
@@ -983,6 +983,12 @@ class Printer extends Visitor<Null> { |
visitVariableGet(VariableGet node) { |
writeVariableReference(node.variable); |
+ if (node.promotedType != null) { |
+ writeSymbol('{'); |
+ writeNode(node.promotedType); |
+ writeSymbol('}'); |
+ state = WORD; |
+ } |
} |
visitVariableSet(VariableSet node) { |