OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // | 4 // |
5 // DartOptions=--generic-method-syntax | 5 // DartOptions=--generic-method-syntax |
6 | 6 |
7 /// Dart test verifying that the parser can handle type parameterization of | 7 /// Dart test verifying that the parser can handle type parameterization of |
8 /// local function declarations, and declarations of function parameters. | 8 /// local function declarations, and declarations of function parameters. |
9 | 9 |
10 library generic_local_functions_test; | 10 library generic_local_functions_test; |
11 | 11 |
12 import "package:expect/expect.dart"; | 12 import "package:expect/expect.dart"; |
13 | 13 |
14 // Declare a generic function parameter. | 14 // Declare a generic function parameter. |
15 String f(int g<X, Y>(Map<X, Y> arg)) => null; | 15 int f(Y g<X, Y>(Map<X, Y> arg, X x)) => g<int, int>(<int, int>{1: 42}, 1); |
16 | 16 |
17 main() { | 17 main() { |
18 // Declare a generic local function | 18 // Declare a generic local function |
19 int h<X extends Y, Y>(Map<X, Y> arg) => null; | 19 Y h<X, Y>(Map<X, Y> m, X x) => m[x]; |
20 // Pass a generic local function as an argument. | 20 // Pass a generic local function as an argument. |
21 f(h); | 21 Expect.equals(f(h), 42); |
22 // Pass a function expression as an argument. | 22 // Pass a function expression as an argument. |
23 f(<X, Y super X>(Map<X, Y> arg) => 42); | 23 Expect.equals(f(<X, Y>(Map<X, Y> m, X x) => m[x]), 42); |
24 } | 24 } |
OLD | NEW |