| Index: pkg/front_end/testcases/inference/downwards_inference_initializing_formal_default_formal.dart
|
| diff --git a/pkg/front_end/testcases/inference/downwards_inference_initializing_formal_default_formal.dart b/pkg/front_end/testcases/inference/downwards_inference_initializing_formal_default_formal.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..c5e42b4247e74bebe524d97be7d83db212af6238
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference/downwards_inference_initializing_formal_default_formal.dart
|
| @@ -0,0 +1,20 @@
|
| +// 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.
|
| +
|
| +/*@testedFeatures=inference*/
|
| +library test;
|
| +
|
| +typedef T Function2<S, T>([S x]);
|
| +
|
| +class Foo {
|
| + List<int> x;
|
| + Foo([this.x = /*@typeArgs=int*/ const [1]]);
|
| + Foo.named([List<int> x = /*@typeArgs=int*/ const [1]]);
|
| +}
|
| +
|
| +void f([List<int> l = /*@typeArgs=int*/ const [1]]) {}
|
| +// We do this inference in an early task but don't preserve the infos.
|
| +Function2<List<int>, String> g = /*@returnType=String*/ (
|
| + [llll = /*@typeArgs=int*/ const [1]]) =>
|
| + "hello";
|
|
|