blob: 49e2349bbc8e9806fa5de0ae0af3c10bcf9f20cd [file] [log] [blame]
// Copyright (c) 2019, 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 various fields for the `inout` variance modifier.
// SharedOptions=--enable-experiment=variance
import "package:expect/expect.dart";
typedef Void2Int = int Function();
typedef Int2Void = void Function(int);
class A<inout T> {
T a;
final T b = null;
final T Function() c = () => null;
final void Function(T) d = (T val) {
Expect.equals(2, val);
};
A<T> get e => this;
covariant T f;
T get g => null;
void set h(T value) => value;
void set i(covariant T value) => value;
}
mixin BMixin<inout T> {
T a;
final T b = null;
final T Function() c = () => null;
final void Function(T) d = (T val) {
Expect.equals(2, val);
};
BMixin<T> get e => this;
covariant T f;
T get g => null;
void set h(T value) => value;
void set i(covariant T value) => value;
}
class B with BMixin<int> {}
void testClass() {
A<int> a = new A();
a.a = 2;
Expect.equals(2, a.a);
Expect.isNull(a.b);
Expect.type<Void2Int>(a.c);
Expect.isNull(a.c());
Expect.type<Int2Void>(a.d);
a.d(2);
a.e.a = 3;
a.f = 2;
Expect.equals(2, a.f);
Expect.isNull(a.g);
a.h = 2;
a.i = 2;
}
void testMixin() {
B b = new B();
b.a = 2;
Expect.equals(2, b.a);
Expect.isNull(b.b);
Expect.type<Void2Int>(b.c);
Expect.isNull(b.c());
Expect.type<Int2Void>(b.d);
b.d(2);
b.e.a = 3;
b.f = 2;
Expect.equals(2, b.f);
Expect.isNull(b.g);
b.h = 2;
b.i = 2;
}
main() {
testClass();
testMixin();
}