pkg/front_end/testcases/inference/complex_predecrement.dart.weak.modular.expect

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

static method main() → dynamic {
  core::List<core::int*>* foo = <core::int*>[1, 2, 3];
  core::print(let final core::List<core::int*>* #t1 = foo in let final core::int* #t2 = 0 in let final core::int* #t3 = #t1.{core::List::[]}(#t2){(core::int*) →* core::int*}.{core::num::-}(1){(core::num*) →* core::int*} in let final void #t4 = #t1.{core::List::[]=}(#t2, #t3){(core::int*, core::int*) →* void} in #t3);
}