blob: 2d9429b12db48933589a2b04bfea0f6a091f4cff [file] [log] [blame]
// Copyright (c) 2014, 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.
import "package:expect/expect.dart";
import "inheritance_constraints_lib.dart" deferred as lib;
class Foo {}
class Foo2 extends D {}
class A extends lib.Foo {}
// ^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.EXTENDS_DEFERRED_CLASS
class B implements lib.Foo {}
// ^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.IMPLEMENTS_DEFERRED_CLASS
class C1 {}
class C = C1 with lib.Foo;
// ^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.MIXIN_DEFERRED_CLASS
class D {
D();
factory D.factory() = lib.Foo2;
// ^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.REDIRECT_TO_INVALID_RETURN_TYPE
// [cfe] The constructor function type 'Foo2 Function()' isn't a subtype of 'D Function()'.
}
void main() {
new A();
new B();
new C();
new D.factory();
}