Some preliminary support for quasi-generics

lib/src/dart_sdk.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /// Common logic needed to provide a Dart SDK to the analyzer's resolver. This
 /// includes logic to determine where the sdk is located in the filesystem, and
 /// definitions to provide mock sdks.
 library dev_compiler.src.dart_sdk;
 
 import 'package:analyzer/src/generated/engine.dart';
@@ skipping 127 matching lines @@
         class Deprecated {
           final String expires;
           const Deprecated(this.expires);
         }
         const Object deprecated = const Deprecated("next release");
         class _Override { const _Override(); }
         const Object override = const _Override();
         class _Proxy { const _Proxy(); }
         const Object proxy = const _Proxy();
 
-        class Iterable<E> {}
+        class Iterable<E> {
+          fold(initialValue, combine(previousValue, E element)) {}
+          Iterable map(f(E element)) {}
+        }
         class List<E> implements Iterable<E> {
           List([int length]);
           List.filled(int length, E fill);
         }
         class Map<K, V> {
           Iterable<K> get keys {}
         }
         ''',
   'dart:async': '''
         class Future<T> {
           Future(computation()) {}
           Future.value(T t) {}
-          Future then(callback) {}
+          Future then(onValue(T value)) {}
+          static Future<List> wait(Iterable<Future> futures) {}
         }
         class Stream<T> {}
   ''',
   'dart:html': '''
         library dart.html;
         class HtmlElement {}
         ''',
   'dart:math': '''
         library dart.math;
         class Random {
           bool nextBool() {}
         }
         num min(num x, num y) {}
         num max(num x, num y) {}
         ''',
 };