// Copyright (c) 2023, 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 "main_lib1.dart";
import "main_lib2.dart";

base class Base {}

base class BaseA extends A /* Ok */ {}

base class BaseA2 extends BaseA /* Ok */ {}

base class DirectA implements A /* Error */ {}

base class IndirectA implements BaseA /* Error */ {}

base class IndirectBaseA extends Base implements BaseA /* Error */ {}

base class IndirectA2 implements BaseA2 /* Error */ {}

base class IndirectBaseA2 extends Base implements BaseA2 /* Error */ {}

base class BaseB extends B /* Ok */ {}

base class BaseB2 extends BaseB /* Ok */ {}

base class DirectB implements B /* Error */ {}

base class IndirectB implements BaseB /* Error */ {}

base class IndirectB2 implements BaseB2 /* Error */ {}

base class IndirectBaseB extends Base implements BaseB /* Error */ {}

base class IndirectBaseB2 extends Base implements BaseB2 /* Error */ {}