| Index: pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart
|
| diff --git a/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..59e7a650c659791db13a4f85146787fcfc404933
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart
|
| @@ -0,0 +1,21 @@
|
| +// 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 A<T> {
|
| + final T x = null;
|
| + final T w = null;
|
| +}
|
| +
|
| +class B implements A<int> {
|
| + get x => 3;
|
| + get w => /*error:RETURN_OF_INVALID_TYPE*/ "hello";
|
| +}
|
| +
|
| +foo() {
|
| + String y = /*error:INVALID_ASSIGNMENT*/ new B().x;
|
| + int z = new B().x;
|
| +}
|
|
|