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

Unified Diff: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart

Issue 2811993006: dart2js: type analysis: yield escapes its argument (Closed)
Patch Set: comment Created 3 years, 8 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
« no previous file with comments | « pkg/compiler/lib/src/inferrer/type_graph_dump.dart ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
diff --git a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
index 5ecd80392f1b7042669e33bc8cab1a68e8a382e1..16977bdd990eaf19dfa0849d295a8d6b5b8d8f24 100644
--- a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
+++ b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
@@ -1710,6 +1710,21 @@ class AwaitTypeInformation extends TypeInformation {
}
}
+class YieldTypeInformation extends TypeInformation {
+ final ast.Node node;
+
+ YieldTypeInformation(MemberTypeInformation context, this.node)
+ : super(context);
+
+ TypeMask computeType(InferrerEngine inferrer) => safeType(inferrer);
+
+ String toString() => 'Yield';
+
+ accept(TypeInformationVisitor visitor) {
+ return visitor.visitYieldTypeInformation(this);
+ }
+}
+
abstract class TypeInformationVisitor<T> {
T visitNarrowTypeInformation(NarrowTypeInformation info);
T visitPhiElementTypeInformation(PhiElementTypeInformation info);
@@ -1729,6 +1744,7 @@ abstract class TypeInformationVisitor<T> {
T visitParameterTypeInformation(ParameterTypeInformation info);
T visitClosureTypeInformation(ClosureTypeInformation info);
T visitAwaitTypeInformation(AwaitTypeInformation info);
+ T visitYieldTypeInformation(YieldTypeInformation info);
}
TypeMask _narrowType(
« no previous file with comments | « pkg/compiler/lib/src/inferrer/type_graph_dump.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698