blob: d510b770a2f51fb1638c8e5382a2cc36fa904676 [file] [log] [blame]
// Copyright (c) 2021, 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.
/// @assertion The grammar of types is extended to allow any type to be suffixed
/// with a ? (e.g. int?) indicating the nullable version of that type.
/// @description Check that any type can be suffixed with a ? indicating the
/// nullable version of that type. Test type aliases
/// @author
// Requirements=nnbd-weak
class A {}
class C<X extends A?> {
X x;
A? testA(A? a) => a;
C<X>? testC<X extends A?>(C<X>? c) => c;
int? testInt(int? i) => i;
String? testString(String? s) => s;
Object? testObject(Object? o) => o;
typedef AAlias = A?;
typedef CAlias = C<A?>?;
typedef IntAlias = int?;
typedef StringAlias = String?;
typedef ObjectAlias = Object?;
main() {
AAlias a = null;
a = testA(a);
CAlias c = null;
c = testC(c);
IntAlias i = null;
i = testInt(i);
ObjectAlias o = null;
o = testObject(o);
StringAlias s = null;
s = testString(s);