// 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
/// const Array<T extends NativeType>.multi(List<int> dimensions)
///  Const constructor to specify Array dimensions in Structs.
///
///  class MyStruct extends Struct {
///  @Array.multi([2, 2, 2])
///  external Array<Array<Array<Uint8>>> threeDimensionalInlineArray;
///
/// @Array.multi([2, 2, 2, 2, 2, 2, 2, 2])
///  external Array<Array<Array<Array<Array<Array<Array<Array<Uint8>>>>>>>> eightDimensionalInlineArray;
///  }
///  Do not invoke in normal code.
///
/// @description Checks that it is a compile time error if Array type is
/// subtype of [NativeType] but not the supported one
/// @author sgrekhov@unipro.ru
/// @issue 47767

import 'dart:ffi';

import 'package:ffi/ffi.dart';

class MyStruct extends Struct {
  @Array.multi([16])
  external Array<Void> a1;
//               ^^^^
// [analyzer] unspecified
// [cfe] unspecified

  @Array.multi([16])
  external Array<NativeFunction> a2;
//               ^^^^^^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified

  @Array.multi([16])
  external Array<Opaque> a3;
//               ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified

  @Array.multi([16])
  external Array<Union> a4;
//               ^^^^^
// [analyzer] unspecified
// [cfe] unspecified

  @Array.multi([16])
  external Array<Struct> a5;
//               ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  MyStruct? ms;
}