// 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

library mirror_test;

import 'dart:mirrors';

import 'package:expect/expect.dart';

class A {
  factory A(
    String //# 01: compile-time error
    var    //# 02: compile-time error
    int    //# none: ok
      x) = B;
  A._();
}

class B extends A {
  var x;
  B(int x)
      : this.x = x,
        super._();
}

main() {
  var cm = reflectClass(A);
  // The type-annotation in A's constructor must be ignored.
  var b = cm.newInstance(Symbol.empty, [499]).reflectee;
  Expect.equals(499, b.x);
  Expect.throwsTypeError(() => cm.newInstance(Symbol.empty, ["str"]));
}