变量。例如，试图将一个 加到 会得到类似这样的错误：<syntaxhighlight></syntaxhighlight>由于声明点变型和使用点变型都有各自的用处，有些类型系统干脆两者都提供了。
Dart 中的协变泛型.Dart语言并不跟踪变型，而是把所有参数化类型都当作协变对待。语言规约是这么说的：由于泛型类型的协变性，类型系统并不稳健。这是故意为之（当然也无疑会引起争论）。经验表明稳健的泛型类型规则在程序员的直觉面前如同废纸。如果想的话，工具仍可简单地提供稳健的类型