Demonstrates that type inference is dependent on order of type parameters

main.dart

class Value {}

class Renderer<T> {}

// When V is defined before R, type inference works in all cases.
class WorkingOrder<V extends Value, R extends Renderer<V>> {}

// When V is defined after R, type inference fails in some cases.
class BrokenOrder<R extends Renderer<V>, V extends Value> {}

void main() {
  // Correctly infers type.
  var working1 = WorkingOrder();
  print(working1.runtimeType); // WorkingOrder<Value, Renderer<Value>>.

  // Correctly infers type arguments to bounds.
  WorkingOrder working2 = WorkingOrder();
  print(working2.runtimeType); // WorkingOrder<Value, Renderer<Value>>.

  // ERROR: Incorrectly infers BrokenOrder<Renderer<dynamic>, Value>.
  var broken = BrokenOrder();

  // Correctly infers type arguments to bounds.
  BrokenOrder working3 = BrokenOrder();
  print(working3.runtimeType); // BrokenOrder<Renderer<Value>, Value>.
}