Language/07_Classes/6_Constructors/2_Factories_A06_t04.dart

/*
 * 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.
 */
/**
 * @assertion In checked mode, it is a dynamic type error if a factory returns
 * a non-null object whose type is not a subtype of its actual return type.
 * @description Checks that returning an object whose type is not subtype of M
 * from factory M.id produces a dynamic type error in checked mode.
 * @static-warning
 * @author kaigorodov
 * @reviewer rodionov
 */

import "../../../Utils/dynamic_check.dart";

abstract class I {}

class C implements I {}

class A implements I {
  factory A.foo() { return new C(); }
}

main() {
  checkTypeError( () {
    new A.foo();
  });
}