// Copyright (c) 2020, 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 | |
import 'package:expect/expect.dart'; | |
class C<X> { | |
factory C(Type t) => D<X>(t); | |
} | |
class D<X> implements C<X> { | |
D(Type t) { | |
Expect.equals(t, X); | |
} | |
} | |
typedef T<X> = C<X>; | |
void main() { | |
T<num> x1 = T(num); | |
C<num> x2 = T(num); | |
} |