Index: pkg/compiler/lib/src/inferrer/locals_handler.dart |
diff --git a/pkg/compiler/lib/src/inferrer/locals_handler.dart b/pkg/compiler/lib/src/inferrer/locals_handler.dart |
index 8e4ec2eb3d665677c6428447eef643b567d8d49e..ab1c713c3e578d2fd7cb962beaa262b88bfd3a13 100644 |
--- a/pkg/compiler/lib/src/inferrer/locals_handler.dart |
+++ b/pkg/compiler/lib/src/inferrer/locals_handler.dart |
@@ -299,6 +299,7 @@ class LocalsHandler { |
options = other.options; |
TypeInformation use(Local local) { |
+ assert(!(local is LocalElement && !local.isImplementation)); |
if (capturedAndBoxed.containsKey(local)) { |
FieldElement field = capturedAndBoxed[local]; |
return inferrer.typeOfMember(field); |