List.unmodifiable

tool/input_sdk/patch/core_patch.dart

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..07ba6eba39dbcac58611f9ceb602172e837f4c76 100644
--- a/tool/input_sdk/patch/core_patch.dart
+++ b/tool/input_sdk/patch/core_patch.dart
@@ -264,7 +264,13 @@ class List<E> {
       list.add(e);
     }
     if (growable) return list;
-    return makeListFixedLength(list);
+    return makeListFixedLength/*<E>*/(list);
+  }
+
+  @patch
+  factory List.unmodifiable(Iterable elements) {
+    List result = new List<E>.from(elements, growable: false);
+    return makeFixedListUnmodifiable/*<E>*/(result);
   }
 }