| 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 ed04230b6dbb4861cd68692b44c0f2f5ac2deae4..b5935f2e446658c6ef620bb6a7e842a020d3a53d 100644
|
| --- a/pkg/compiler/lib/src/inferrer/locals_handler.dart
|
| +++ b/pkg/compiler/lib/src/inferrer/locals_handler.dart
|
| @@ -304,9 +304,6 @@ class LocalsHandler {
|
| FieldElement field = capturedAndBoxed[local];
|
| return inferrer.typeOfMember(field);
|
| } else {
|
| - if (captured.containsKey(local)) {
|
| - inferrer.recordCapturedLocalRead(local);
|
| - }
|
| return locals[local];
|
| }
|
| }
|
| @@ -331,13 +328,10 @@ class LocalsHandler {
|
| type);
|
| }
|
| locals[local] = type;
|
| - if (currentType != type) {
|
| - inferrer.recordLocalUpdate(local, type);
|
| - }
|
| }
|
|
|
| if (capturedAndBoxed.containsKey(local)) {
|
| - inferrer.recordTypeOfNonFinalField(capturedAndBoxed[local], type);
|
| + inferrer.recordTypeOfField(capturedAndBoxed[local], type);
|
| } else if (inTryBlock) {
|
| // We don'TypeInformation know if an assignment in a try block
|
| // will be executed, so all assignments in that block are
|
|
|