blob: 9234a059110a2a67112bb1f369bd74b49ab26359 [file] [log] [blame]
// 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 otherwise, for all S, futureValueType(S) = Object?
///
/// @author sgrekhov@unipro.ru
// Requirements=nnbd-strong
Object test1() async {
Object? o = null;
return o;
}
dynamic test2() async {
Object? o = null;
return o;
}
main() {
test1();
test2();
}