pkg/front_end/testcases/inference/bug31436.dart.type_promotion.expect

pkg/front_end/testcases/inference/bug31436.dart:10:5: Context: Write to g@308
  g = /*@ returnType=List<Object*>* */ () {
    ^
pkg/front_end/testcases/inference/bug31436.dart:13:12: Context: Possible promotion of g@308
  assert(g is List<Object> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:17:5: Context: Write to g@308
  g = /*@ returnType=List<int*>* */ () {
    ^
pkg/front_end/testcases/inference/bug31436.dart:20:12: Context: Possible promotion of g@308
  assert(g is List<Object> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:21:12: Context: Possible promotion of g@308
  assert(g is List<int> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:27:5: Context: Write to g@308
  g = /*@ returnType=List<Object*>* */ () {
    ^
pkg/front_end/testcases/inference/bug31436.dart:30:12: Context: Possible promotion of g@308
  assert(g is List<Object> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:34:5: Context: Write to o@857
  o = 3;
    ^
pkg/front_end/testcases/inference/bug31436.dart:43:5: Context: Write to g@1323
  g = /*@ returnType=List<Object*>* */ () => /*@ typeArgs=Object* */ [3];
    ^
pkg/front_end/testcases/inference/bug31436.dart:44:12: Context: Possible promotion of g@1323
  assert(g is List<Object> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:48:5: Context: Write to g@1323
  g = /*@ returnType=List<int*>* */ () => l;
    ^
pkg/front_end/testcases/inference/bug31436.dart:49:12: Context: Possible promotion of g@1323
  assert(g is List<Object> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:50:12: Context: Possible promotion of g@1323
  assert(g is List<int> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:56:5: Context: Write to g@1323
  g = /*@ returnType=List<Object*>* */ () =>
    ^
pkg/front_end/testcases/inference/bug31436.dart:58:12: Context: Possible promotion of g@1323
  assert(g is List<Object> Function());
           ^^
pkg/front_end/testcases/inference/bug31436.dart:62:5: Context: Write to o@1842
  o = 3;
    ^