Example: Inference of type argument based on arguments only.

paraminfer.dart

void f<T>(List<T> value, List<T> value2) {
  print("f<$T>(${value.runtimeType}, ${value2.runtimeType})");
}

main() {
  f([2], [3]);
  f([2], [3.1]);
  f(["a"], [2]);
  f([true], [null]);
}