blob: 2ecdc33e89b4b1dce7d57b3205a5eda989ff8657 [file] [log] [blame]
// Copyright (c) 2016, 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.
// Dart test for type checks involving the void type.
import "package:expect/expect.dart";
var _str = new StringBuffer();
T run<T>(T f()) {
_str.write("+");
var t = f();
_str.write("-");
return t;
}
void writeV() {
_str.write("V");
}
main() {
{
var x = run<dynamic>(writeV);
Expect.equals('+V-', _str.toString());
Expect.equals(null, x);
_str.clear();
var y = run(writeV) as dynamic;
Expect.equals('+V-', _str.toString());
Expect.equals(null, y);
_str.clear();
}
// implicit cast
{
dynamic d = writeV;
var x = run<dynamic>(d);
Expect.equals('+V-', _str.toString());
Expect.equals(null, x);
_str.clear();
var y = run(d);
Expect.equals('+V-', _str.toString());
Expect.equals(null, y);
_str.clear();
}
// dynamic dispatch
{
dynamic d = run;
var x = d<dynamic>(writeV);
Expect.equals('+V-', _str.toString());
Expect.equals(null, x);
_str.clear();
var y = d(writeV);
Expect.equals('+V-', _str.toString());
Expect.equals(null, y);
_str.clear();
}
}