// 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 All field declarations in a Struct subclass declaration must be
 * marked external. You cannot create instances of the class, only have it point
 * to existing native memory, so there is no memory in which to store non-native
 * fields. External fields also cannot be initialized by constructors since no
 * Dart object is being created.
 *
 * @description Checks that all field declarations in a Struct subclass
 * declaration must be marked external
 * @author sgrekhov@unipro.ru
 * @issue 45293
 */
import "dart:ffi";
import "package:ffi/ffi.dart";

class S1 extends Struct {
  @Int16()
  int? i;
//^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

void main() {
  Pointer<S1> p = calloc<S1>();
  S1 s1 = p.ref;
  print(s1.i);
}