pkg/front_end/testcases/inference/complex_predecrement.dart.strong.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::num::-}(1) in let final void #t4 = #t1.{core::List::[]=}(#t2, #t3) in #t3);
}