// Copyright (c) 2017, 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.

/*element: main:[null]*/
main() {
  exposeThis1();
  exposeThis2();
  exposeThis4();
  exposeThis5();
}

////////////////////////////////////////////////////////////////////////////////
// Class with two initializers. No closure.
////////////////////////////////////////////////////////////////////////////////

class Class1 {
  // The inferred type of the field does _not_ include `null` because `this`
  // is _not_ been exposed.
  /*element: Class1.field1:[exact=JSUInt31]*/
  var field1;
  /*element: Class1.field2:[exact=JSUInt31]*/
  var field2;

  /*element: Class1.:[exact=Class1]*/
  Class1()
      : field1 = 42,
        field2 = 87;
}

/*element: exposeThis1:[exact=Class1]*/
exposeThis1() => new Class1();

////////////////////////////////////////////////////////////////////////////////
// Class with initializers in the constructor body. No closure.
////////////////////////////////////////////////////////////////////////////////

class Class2 {
  /*element: Class2.field1:[exact=JSUInt31]*/
  var field1;
  /*element: Class2.field2:[exact=JSUInt31]*/
  var field2;

  /*element: Class2.:[exact=Class2]*/
  Class2() {
    /*update: [exact=Class2]*/ field1 = 42;
    /*update: [exact=Class2]*/ field2 = 87;
  }
}

/*element: exposeThis2:[exact=Class2]*/
exposeThis2() => new Class2();

////////////////////////////////////////////////////////////////////////////////
// Class with closure after two initializers in the constructor body.
////////////////////////////////////////////////////////////////////////////////

class Class4 {
  /*element: Class4.field1:[exact=JSUInt31]*/
  var field1;
  /*element: Class4.field2:[exact=JSUInt31]*/
  var field2;

  /*element: Class4.:[exact=Class4]*/
  Class4()
      : field1 = 42,
        field2 = 87 {
    /*[exact=JSUInt31]*/ () {
      return 42;
    };
  }
}

/*element: exposeThis4:[exact=Class4]*/
exposeThis4() => new Class4();

////////////////////////////////////////////////////////////////////////////////
// Class with closure between two initializers in the constructor body.
////////////////////////////////////////////////////////////////////////////////

class Class5 {
  /*element: Class5.field1:[exact=JSUInt31]*/
  var field1;
  /*element: Class5.field2:[null|exact=JSUInt31]*/
  var field2;

  /*element: Class5.:[exact=Class5]*/
  Class5() {
    /*update: [exact=Class5]*/ field1 = 42;
    /*[exact=JSUInt31]*/ () {
      return 42;
    };
    /*update: [exact=Class5]*/ field2 = 87;
  }
}

/*element: exposeThis5:[exact=Class5]*/
exposeThis5() => new Class5();