// Copyright (c) 2021, 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 Pointer<T extends NativeType>
///  Represents a pointer into the native C memory. Cannot be extended.
///
/// @description Checks that this class cannot be extended
/// @author sgrekhov@unipro.ru

import "dart:ffi";

abstract class C1<T extends NativeType> extends Pointer<T> {
//                                              ^^^^^^^^^^
// [cfe] unspecified
// [analyzer] unspecified
}

abstract class C2 extends Pointer<Int8> {
//                        ^^^^^^^^^^^^^
// [cfe] unspecified
// [analyzer] unspecified
}

abstract class C3 implements Pointer<Int8> {
//                           ^^^^^^^^^^^^^
// [cfe] unspecified
// [analyzer] unspecified
}

void main() {
  C1? c1;
  C2? c2;
  C3? c3;
}