flattenFutures method

DartType flattenFutures (TypeSystem typeSystem)

Implements the function "flatten" defined in the spec, where T is this type:

If T = Future<S> then flatten(T) = flatten(S).

Otherwise if T <: Future then let S be a type such that T << Future<S>
and for all R, if T << Future<R> then S << R.  Then flatten(T) = S.

In any other circumstance, flatten(T) = T.

Implementation

DartType flattenFutures(TypeSystem typeSystem);