blob: d4749adf2a247a4fffda00fd2678decb342805a8 [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 test for type checks involving the void type and overriding.
import 'package:expect/expect.dart';
use<T>(T x) {}
class A<T> {
T x;
A(this.x);
Object? y;
int z = 0;
T foo() => x;
void bar() {}
void gee(T x) {}
f(A<Object?> a) {}
g(A<void> a) {}
h(A<T> a) {}
}
class B implements A<Object?> {
void //# 00: ok
/* //# 00: continued
var
*/ //# 00: continued
x;
void //# 00b: ok
/* //# 00b: continued
var
*/ //# 00b: continued
y;
void //# 00c: compile-time error
/* //# 00c: continued
int
*/ //# 00c: continued
z = 0;
void //# 01: ok
foo() {}
int bar() => 499;
void gee(void x) {}
f(A<void> a) {}
g(A<void> a) {}
h(A<void> a) {}
}
class C implements A<void> {
void x;
Object? y;
int z = 0;
void foo() {}
void bar() {}
void gee(void x) {
use(x);
}
f(covariant C c) {}
g(covariant C c) {}
h(covariant C c) {}
}
class D implements A<void> {
Object? x; // Setter will become a voidness preservation violation.
Object? y;
int z = 0;
Object? foo() => null;
void bar() {}
void gee(
Object? // Will become a voidness preservation violation.
x) {}
f(A<Object?> a) {}
g(
A<Object?> // Will become a voidness preservation violation.
a) {}
h(
A<Object?> // Will become a voidness preservation violation.
a) {}
}
void instantiateClasses() {
var a = new A<void>(null);
var b = new B();
var c = new C();
var d = new D();
a.foo();
b.foo();
c.foo();
d.foo();
a.bar();
b.bar();
c.bar();
d.bar();
a.gee(499);
b.gee(499);
c.gee(499);
d.gee(499);
}
void testAssignments() {
A<void> a1 = new A<Object?>(null);
A<Object?> a2 = new A<void>(null);
A a3 = new A<void>(null);
A<dynamic> a4 = new A<void>(null);
dynamic a5 = new A<void>(null);
}
main() {
instantiateClasses();
testAssignments();
}