// Copyright (c) 2020, 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.

/// @assertion The definitions of least and greatest closure are changed in null
/// safe libraries to substitute [Never] in positions where previously [Null
/// would have been substituted, and [Object?] in positions where previously
/// [Object] or [dynamic] would have been substituted.
/// @description Check the [class C<X extends C<X>>] case.
/// The analyzer explicitly states that [Object?] is the inferred (but
/// non-working) value of [X].
///
/// This matches the specified approach for inference of the return type of a
/// function literal (here () => captureTypeArgument()): The type R is the
/// greatest closure of C<_> which is C<Object?>, so the function literal gets
/// the inferred return type C<Object?>, and inference concludes that X gets the
/// value Object?.
///
/// Also, X == Never would satisfy X <: C<X>, but other possible values of X
/// would be classes implementing C (such as class D extends C<D> {}), and it is
/// not plausible that inference could (or should) choose any such solution. In
/// other words, it is justified for the static analysis to fail to find a
/// suitable value for X.
///
/// But it is not true that Object? <: C<Object?>, and this means that the
/// inferred type does not satisfy the declared bound. A generic function
/// invocation cannot be super-bounded, so the choice must be rejected.
/// Created #44092 to report the basic issue here (which is expressible without
/// any F-bounds).
///
/// @note Read more about the least and greatest closure test template:
/// https://github.com/dart-lang/co19/issues/575#issuecomment-613542349
///
/// @Issue 44073, 44092
/// @author iarkh@unipro.ru


import "../../../../Utils/expect.dart";

abstract class C<X extends C<X>> {}

void main() {
  void f<X extends C<X>>(C<X> Function() g) => g();

  // Verify that the captured type has an `x`.
  f(() => captureTypeArgument());
//^
// [analyzer] unspecified
// [cfe] unspecified
}