| Index: pkg/compiler/lib/src/io/position_information.dart
|
| diff --git a/pkg/compiler/lib/src/io/position_information.dart b/pkg/compiler/lib/src/io/position_information.dart
|
| index 22414a023317f88f13cbee9c556d96240b59de5f..31c545c20d999f9700d68dd860ba293f1a6dccce 100644
|
| --- a/pkg/compiler/lib/src/io/position_information.dart
|
| +++ b/pkg/compiler/lib/src/io/position_information.dart
|
| @@ -234,7 +234,8 @@ class CodePosition {
|
|
|
| /// Registry for mapping [js.Node]s to their [CodePosition].
|
| class CodePositionRecorder {
|
| - Map<js.Node, CodePosition> _codePositionMap = <js.Node, CodePosition>{};
|
| + Map<js.Node, CodePosition> _codePositionMap =
|
| + new Map<js.Node, CodePosition>.identity();
|
|
|
| void registerPositions(js.Node node,
|
| int startPosition,
|
|
|