LanguageFeatures/nnbd/weak/future_value_type_A06_t01.dart

// Copyright (c) 2021, 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 Let f be an asynchronous non-generator function with declared
/// return type T. Then the future value type of f is futureValueType(T). The
/// function futureValueType is defined as follows:
///
///  futureValueType(S?) = futureValueType(S), for all S.
///  futureValueType(S*) = futureValueType(S), for all S.
///  futureValueType(Future<S>) = S, for all S.
///  futureValueType(FutureOr<S>) = S, for all S.
///  futureValueType(void) = void.
///  futureValueType(dynamic) = dynamic.
///  Otherwise, for all S, futureValueType(S) = Object?.
///
/// @description Check that for asynchronous non-generator function with declared
/// return type S* futureValueType(S*) = futureValueType(S), for all S.
///
/// @author sgrekhov@unipro.ru

// Requirements=nnbd-weak

import "legacy_lib.dart";
class C {}

Future<M>? test() async {
  M? m = new M();
  bool b = (() => true)();
  if (b) {
    m = null;
  }
  return m;
//       ^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  test();
}