blob: de546953c485cfb1a5a404fd888fa4903cb4805a [file] [log] [blame]
// 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.
// @dart = 2.9
// Dart test for type checks involving the void type in function types.
import 'package:expect/expect.dart';
typedef F = void Function(Object);
typedef F2 = void Function([Object]);
typedef F3 = void Function({Object x});
typedef G = void Function(void);
typedef G2 = void Function([void]);
typedef G3 = void Function({void x});
typedef H = int Function(void);
typedef H2 = int Function([void]);
typedef H3 = int Function({void x});
void f(Object x) {}
void f2([Object x]) {}
void f3({Object x}) {}
void g(void x) {}
void g2([void x]) {}
void g3({void x}) {}
int h(void x) => 499;
int h2([void x]) => 499;
int h3({void x}) => 499;
void expectsF(F f) {}
void expectsG(G g) {}
void expectsH(H h) {}
void expectsF2(F2 f) {}
void expectsG2(G2 g) {}
void expectsH2(H2 h) {}
void expectsF3(F3 f) {}
void expectsG3(G3 g) {}
void expectsH3(H3 h) {}
main() {
Expect.isTrue(f is F);
Expect.isTrue(f is G);
Expect.isFalse(f is H);
expectsF(f);
expectsG(f);
expectsH(f); //# 00: compile-time error
Expect.isTrue(f2 is F2);
Expect.isTrue(f2 is G2);
Expect.isFalse(f2 is H2);
expectsF2(f2);
expectsG2(f2);
expectsH2(f2); //# 01: compile-time error
Expect.isTrue(f3 is F3);
Expect.isTrue(f3 is G3);
Expect.isFalse(f3 is H3);
expectsF3(f3);
expectsG3(f3);
expectsH3(f3); //# 03: compile-time error
Expect.isTrue(g is F);
Expect.isTrue(g is G);
Expect.isFalse(g is H);
expectsF(g);
expectsG(g);
expectsH(g); //# 05: compile-time error
Expect.isTrue(g2 is F2);
Expect.isTrue(g2 is G2);
Expect.isFalse(g2 is H2);
expectsF2(g2);
expectsG2(g2);
expectsH2(g2); //# 07: compile-time error
Expect.isTrue(g3 is F3);
Expect.isTrue(g3 is G3);
Expect.isFalse(g3 is H3);
expectsF3(g3);
expectsG3(g3);
expectsH3(g3); //# 09: compile-time error
Expect.isTrue(h is F);
Expect.isTrue(h is G);
Expect.isTrue(h is H);
expectsF(h);
expectsG(h);
expectsH(h);
Expect.isTrue(h2 is F2);
Expect.isTrue(h2 is G2);
Expect.isTrue(h2 is H2);
expectsF2(h2);
expectsG2(h2);
expectsH2(h2);
Expect.isTrue(h3 is F3);
Expect.isTrue(h3 is G3);
Expect.isTrue(h3 is H3);
expectsF3(h3);
expectsG3(h3);
expectsH3(h3);
}