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); |
+ } |
} |