| Index: pkg/front_end/testcases/inference/propagate_inference_to_field_in_class_dynamic_warnings.dart
|
| diff --git a/pkg/front_end/testcases/inference/propagate_inference_to_field_in_class_dynamic_warnings.dart b/pkg/front_end/testcases/inference/propagate_inference_to_field_in_class_dynamic_warnings.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..ff2120048bdbd2085f1f4012a1e6f2e34c3105a2
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference/propagate_inference_to_field_in_class_dynamic_warnings.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;
|
| +
|
| +class A {
|
| + int x = 2;
|
| +}
|
| +
|
| +test() {
|
| + dynamic a = new A();
|
| + A b = /*info:DYNAMIC_CAST*/ /*@promotedType=none*/ a;
|
| + print(/*info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ a.x);
|
| + print(
|
| + /*info:DYNAMIC_INVOKE*/ (/*info:DYNAMIC_INVOKE*/ /*@promotedType=none*/ a
|
| + .x) +
|
| + 2);
|
| +}
|
|
|