| // Copyright (c) 2022, 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. |
| |
| // @dart = 2.10 |
| |
| import 'package:async_helper/async_helper.dart'; |
| import 'package:expect/expect.dart'; |
| import '../helpers/compiler_helper.dart'; |
| |
| const String TEST = r""" |
| class Foo { |
| late int x; |
| } |
| |
| void entry() { |
| final foo = Foo(); |
| foo.x = 42; |
| test(foo); |
| } |
| |
| @pragma('dart2js:noInline') |
| void test(Foo foo) { |
| final a = foo.x; |
| final b = foo.x; |
| print([a, b]); |
| } |
| """; |
| |
| void main() { |
| asyncTest(() async { |
| await compile(TEST, |
| entry: 'entry', |
| methodName: 'test', |
| disableTypeInference: false, |
| disableInlining: false, |
| soundNullSafety: true, check: (String generated) { |
| RegExp regexp = new RegExp(r'=== \$'); |
| Expect.equals(1, regexp.allMatches(generated).length); |
| }); |
| }); |
| } |