library test;
import self as self;
import "dart:core" as core;
import "dart:math" as math;

import "dart:math" show Random;

static method test2() → dynamic {
  core::List<core::num*>* o;
  core::Iterable<core::num*>* y = o.{core::Iterable::map}<core::num*>((core::num* x) → core::num* {
    if(math::Random::•().{math::Random::nextBool}()) {
      return x.{core::num::toInt}().{core::num::+}(1);
    }
    else {
      return x.{core::num::toDouble}();
    }
  });
  core::Iterable<core::num*>* w = y;
  core::Iterable<core::int*>* z = y as{TypeError} core::Iterable<core::int*>*;
}
static method main() → dynamic {}