// Copyright (c) 2011, 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.
//
// Test that a "default implementation" interface factory checks the
// arity of its declared constructor arguments

interface Interface default DefaultImplementation {
  Interface(int x, int y);
}

class DefaultImplementation implements Interface {
  DefaultImplementation() {}

  static testMain() {
    // We should not be able to find the nullary Interface constructor.
    new Interface();
  }
}

main() {
  DefaultImplementation.testMain();
}