// 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=2.9 | |
typedef C<A, K> = int Function<B>(A x, K y, B v); | |
typedef D<K> = C<A, K> Function<A>(int z); | |
dynamic producer<K>() { | |
return <A>(int v1) { | |
return <B>(A v2, K v3, B v4) => 0; | |
}; | |
} | |
main() { | |
assert(producer<String>() is D<String>); | |
} |