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

import "package:expect/expect.dart";

class A {
  int field;

  @pragma('vm:never-inline')
  @pragma('dart2js:noInline')
  A(param) {
    // Currently defeat inlining by using a closure.
    var bar = () => 42;
    field = param + 42;
  }
  A.redirect() : this('foo');
}

main() {
  Expect.equals(42 + 42, new A(42).field);
  // TODO(jmesserly): DDC throws an nSM if the argument types mismatch,
  // instead of a TypeError.
  // https://github.com/dart-lang/dev_compiler/issues/534
  Expect.throws(() => new A.redirect(),
      (e) => e is ArgumentError || e is TypeError || e is NoSuchMethodError);
}