| Index: dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| diff --git a/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart b/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| index 7411bc9aec29ea998e3288ffdd487318cfd032df..51ffcfc1b7bc593802e25de4c693499527f68c32 100644
|
| --- a/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| +++ b/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| @@ -497,7 +497,9 @@ class Elements {
|
| if (r != 0) return r;
|
| Token positionA = a.position();
|
| Token positionB = b.position();
|
| - r = positionA.charOffset.compareTo(positionB.charOffset);
|
| + int offsetA = positionA == null ? -1 : positionA.charOffset;
|
| + int offsetB = positionB == null ? -1 : positionB.charOffset;
|
| + r = offsetA.compareTo(offsetB);
|
| if (r != 0) return r;
|
| r = a.name.slowToString().compareTo(b.name.slowToString());
|
| if (r != 0) return r;
|
|
|