blob: 3eed54093e54db5c6f17aa55d815cb0afc50dd30 [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.
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class A<X> {}
typedef A1<Y> = A<Y>;
typedef A2<U, Z> = A1<A<Z>>;
typedef A3<W> = A2<int, A<W>>;
class B extends A3<B> {}
void f(A<A<A<B>>> a) {}
void main() {