Lasse Reichstein Holst Nielsen
c10e96ba2f
Change-Id: I9daeebde586a00169bdaf069c7dc2fdc5d3d97f2 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/147160 Commit-Queue: Lasse R.H. Nielsen <lrn@google.com> Reviewed-by: Bob Nystrom <rnystrom@google.com>
38 lines
1.0 KiB
Dart
38 lines
1.0 KiB
Dart
// Copyright (c) 2017, 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.
|
|
|
|
// Tests that `void` accepts any value and won't throw on non-`null` values.
|
|
// The test is set up in a way that `--trust-type-annotations` and type
|
|
// propagation must not assume that `void` is `null` either.
|
|
|
|
import 'package:expect/expect.dart';
|
|
|
|
class A {
|
|
void foo() {
|
|
return bar();
|
|
}
|
|
|
|
void bar() {}
|
|
}
|
|
|
|
class B extends A {
|
|
int bar() => 42;
|
|
}
|
|
|
|
// Makes the typing cleaner: the return type here is `dynamic` and we are
|
|
// guaranteed that there won't be any warnings.
|
|
// Dart2js can still infer the type by itself.
|
|
@pragma('dart2js:noInline')
|
|
dynamic callFoo(A a) => a.foo();
|
|
|
|
main() {
|
|
var a = new A();
|
|
var b = new B();
|
|
// The following line is not throwing, even though `a.foo()` (inside
|
|
// `callFoo`) is supposedly `void`.
|
|
callFoo(b).abs();
|
|
Expect.isNull(callFoo(a));
|
|
Expect.equals(42, callFoo(b));
|
|
}
|