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

Unified Diff: pkg/kernel/lib/verifier.dart

Issue 2619193003: Insert implicit downcasts in kernel strong mode. (Closed)
Patch Set: Merge Created 3 years, 11 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/kernel/lib/type_environment.dart ('k') | pkg/kernel/testcases/strong-mode/DeltaBlue.baseline.txt » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: pkg/kernel/lib/verifier.dart
diff --git a/pkg/kernel/lib/verifier.dart b/pkg/kernel/lib/verifier.dart
index bed541706342a9719e87cc246e47823734604c06..1a1b5ad606f82b05a9988524b00003cb8aecf4b1 100644
--- a/pkg/kernel/lib/verifier.dart
+++ b/pkg/kernel/lib/verifier.dart
@@ -238,6 +238,7 @@ class VerifyingVisitor extends RecursiveVisitor {
visitVariableGet(VariableGet node) {
checkVariableInScope(node.variable, node);
+ visitChildren(node);
}
visitVariableSet(VariableSet node) {
« no previous file with comments | « pkg/kernel/lib/type_environment.dart ('k') | pkg/kernel/testcases/strong-mode/DeltaBlue.baseline.txt » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698