tests/language/inference_using_bounds/type_variable_dependency_right_to_left_test.dart

// Copyright (c) 2024, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// SharedOptions=--enable-experiment=inference-using-bounds

import '../static_type_helper.dart';

class A<Y, X extends Iterable<Y>> {
  A(X x);
  Y? y;
}

main() {
  // Inferred as A<dynamic, List<num>>.
  A(<num>[])
    ..y = "ok"
    ..expectStaticType<Exactly<A<dynamic, List<num>>>>();
}