| Index: pkg/front_end/testcases/inference/constructors_infer_from_arguments_factory.dart
|
| diff --git a/pkg/front_end/testcases/inference/constructors_infer_from_arguments_factory.dart b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_factory.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..60cb608cf67b8cc96a754b1daff3753a94a1d439
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_factory.dart
|
| @@ -0,0 +1,23 @@
|
| +// 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;
|
| +
|
| +class C<T> {
|
| + T t;
|
| +
|
| + C._();
|
| +
|
| + factory C(T t) {
|
| + var /*@type=C<T>*/ x = new C<T>._();
|
| + /*@promotedType=none*/ x.t = t;
|
| + return /*@promotedType=none*/ x;
|
| + }
|
| +}
|
| +
|
| +main() {
|
| + var /*@type=C<int>*/ x = /*@typeArgs=int*/ new C(42);
|
| + /*@promotedType=none*/ x.t = /*error:INVALID_ASSIGNMENT*/ 'hello';
|
| +}
|
|
|