| Index: tool/input_sdk/patch/core_patch.dart
|
| diff --git a/tool/input_sdk/patch/core_patch.dart b/tool/input_sdk/patch/core_patch.dart
|
| index 52ddebdc8205f0098a60387800b92fa3c3ca3566..bc8f193d25c4214271a911ba0621ae251c1d10d2 100644
|
| --- a/tool/input_sdk/patch/core_patch.dart
|
| +++ b/tool/input_sdk/patch/core_patch.dart
|
| @@ -266,6 +266,12 @@ class List<E> {
|
| if (growable) return list;
|
| return makeListFixedLength(list);
|
| }
|
| +
|
| + @patch
|
| + factory List.unmodifiable(Iterable elements) {
|
| + List result = new List<E>.from(elements, growable: false);
|
| + return makeFixedListUnmodifiable(result);
|
| + }
|
| }
|
|
|
|
|
|
|