Array dimensions must be positive numbersDRT-W1530

The analyzer produces this diagnostic when a dimension given in an Array annotation is less than or equal to zero (0).

For more information about FFI, see C interop using dart:ffi.

Example

The following code produces this diagnostic because an array dimension of -1 was provided:

import 'dart:ffi';

final class MyStruct extends Struct {
  @Array(-8)
  external Array<Uint8> a0;
}

Common fixes

Change the dimension to be a positive integer:

import 'dart:ffi';

final class MyStruct extends Struct {
  @Array(8)
  external Array<Uint8> a0;
}