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

// @dart=2.19

import 'dart:ffi';

// final class Double { ... }

class WithFinal with Double {} /* Error */

class ImplementsFinal implements Double {} /* Error */

class ExtendsFinal extends Double {} /* Error */

// abstract base class Opaque { ... }

// Does not need the base modifier to be propagated.
class ExtendsBase extends Opaque {} /* Ok */

class ImplementsBase implements Opaque {} /* Error */

// abstract interface class Finalizable { ... }

class ExtendsInterface extends Finalizable {} /* Error */