| // 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. |
| |
| import 'package:async_helper/async_helper.dart'; |
| import 'inference_test_helper.dart'; |
| |
| const List<String> TESTS = const <String>[ |
| ''' |
| class Super { |
| var field = 42; |
| } |
| class Sub extends Super { |
| method() { |
| var a = super.field = new Sub(); |
| return a.@{[exact=Sub]}method; |
| } |
| } |
| main() { |
| new Sub().@{[exact=Sub]}method(); |
| } |
| ''', |
| ]; |
| |
| main() { |
| asyncTest(() async { |
| for (String annotatedCode in TESTS) { |
| await checkCode(annotatedCode); |
| } |
| }); |
| } |