// Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart=2.5

import 'infer_constraints_from_opt_in_lib.dart';

main() {
  var local0 = [];
  var local1a = [field1];
  var local1b = [field2];
  var local1c = [field3];
  var local1d = [field4];
  var local1e = [field5];
  var local1f = [field6];
  var local1g = [field7];
  var local1h = [field8];
  var local1i = [null];
  var local2a = {field1, null};
  var local2b = {field2, null};
  var local2c = {field3, null};
  var local2d = {field4, null};
  var local2e = {field5, null};
  var local2f = {field6, null};
  var local2g = {field7, null};
  var local2h = {field8, null};
  var local3a = {null, field1};
  var local3b = {null, field2};
  var local3c = {null, field3};
  var local3d = {null, field4};
  var local3e = {null, field5};
  var local3f = {null, field6};
  var local3g = {null, field7};
  var local3h = {null, field8};
}

abstract class A {
  baz(B b) {
    b.foo(b.bar());
  }
}