blob: 85c7bd225e2e6e505c53ad99930affc35e0f9a73 [file] [log] [blame] [edit]
// 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.
import "dart:async";
import "package:expect/async_helper.dart";
import "package:expect/expect.dart";
void main() async {
asyncStart();
var fi = Future<int>.value(1);
var ffi = Future<Future<int>>.value(fi);
// Sanity check.
Expect.equals(type<int>(), typeOf(1));
{
int v = 1; // // Variable with type T.
var f = await v; // // Variable with type FLATTEN(T).
Expect.equals(type<int>(), typeOf(f)); // Dynamic check of static type of f.
int s = f; // // Static check upper bound of f.
f = 1; // // Static check lower bound of f.
s.toString(); // // Avoid "unused variable" warning.
}
{
Future<int> v = fi;
var f = await v;
Expect.equals(type<int>(), typeOf(f));
int s = f;
f = 1;
s.toString();
}
{
Future<Future<int>> v = ffi;
var f = await v;
Expect.equals(type<Future<int>>(), typeOf(f));
Future<int> s = f;
f = fi;
s.toString();
}
{
FutureOr<int> v = 1;
var f = await v;
Expect.equals(type<int>(), typeOf(f));
int s = f;
f = 1;
s.toString();
}
{
FutureOr<Future<int>> v = fi;
var f = await v;
Expect.equals(type<Future<int>>(), typeOf(f));
Future<int> s = f;
f = fi;
s.toString();
}
{
Future<FutureOr<int>> v = fi;
var f = await v;
Expect.equals(type<FutureOr<int>>(), typeOf(f));
FutureOr<int> s = f;
f = 1;
f = fi;
s.toString();
}
{
FutureOr<FutureOr<int>> v = 1;
var f = await v;
Expect.equals(type<FutureOr<int>>(), typeOf(f));
FutureOr<int> s = f;
f = 1;
f = fi;
s.toString();
}
asyncEnd();
}
Type type<T>() => T;
Type typeOf<T>(T of) => T;