inference_using_bounds.dart

// This program printed `A<List<int>, dynamic>` before inference-using-bounds.
// With that feature it prints `A<List<int>, int>`.

class A<X extends Iterable<Y>, Y> {
  final X x;
  A(this.x) {
    print('Creating an A<$X, $Y>.');
  }
  Y get first => x.first;
}

void main() {
  var a = A([1]);
}