non_constant_type_argument

The type arguments to '{0}' must be known at compile time, so they can't be type parameters.

O analisador emite este diagnóstico quando os argumentos de tipo de um método precisam ser conhecidos em tempo de compilação, mas um parâmetro de tipo, cujo valor não pode ser conhecido em tempo de compilação, é usado como argumento de tipo.

Para mais informações sobre FFI, consulte interoperabilidade com C usando dart:ffi.

O código a seguir gera este diagnóstico porque o argumento de tipo de Pointer.asFunction precisa ser conhecido em tempo de compilação, mas o parâmetro de tipo R, que não é conhecido em tempo de compilação, está sendo usado como argumento de tipo:

import 'dart:ffi';
​
typedef T = int Function(int);
​
class C<R extends T> {
  void m(Pointer<NativeFunction<T>> p) {
    p.asFunction<R>();
  }
}

Remova todos os usos de parâmetros de tipo:

import 'dart:ffi';
​
class C {
  void m(Pointer<NativeFunction<Int64 Function(Int64)>> p) {
    p.asFunction<int Function(int)>();
  }
}