| // 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 it is a compile time error if pointer class is a |
| /// top type |
| /// @author sgrekhov@unipro.ru |
| /// @issue 47746 |
| |
| import "dart:ffi"; |
| import 'package:ffi/ffi.dart'; |
| |
| void main() { |
| Pointer<Int16> p = calloc<Int16>(); |
| Pointer<dynamic> p1 = Pointer.fromAddress(p.address); |
| // ^^^^^^^ |
| // [cfe] unspecified |
| // [analyzer] unspecified |
| |
| Pointer<void> p2 = Pointer.fromAddress(p.address); |
| // ^^^^ |
| // [cfe] unspecified |
| // [analyzer] unspecified |
| |
| Pointer<Null> p3 = Pointer.fromAddress(p.address); |
| // ^^^^ |
| // [cfe] unspecified |
| // [analyzer] unspecified |
| |
| Pointer<Object?> p4 = Pointer.fromAddress(p.address); |
| // ^^^^^^^ |
| // [cfe] unspecified |
| // [analyzer] unspecified |
| |
| Pointer<Never> p5 = Pointer.fromAddress(p.address); |
| // ^^^^^ |
| // [cfe] unspecified |
| // [analyzer] unspecified |
| } |
