| // Copyright (c) 2020, 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.7 |
| |
| // This test is the same as 41449a_test.dart without forcing `-O0`. |
| // |
| // Regression test for passing type parameters through call-through stub. |
| // |
| // We use an abstract class with two implementations to avoid the optimizer |
| // 'inlining' the call-through stub, so we are testing that the stub itself |
| // passes through the type parameters. |
| |
| import 'package:expect/expect.dart'; |
| |
| abstract class AAA { |
| dynamic get foo; |
| } |
| |
| class B1 implements AAA { |
| final dynamic foo; |
| B1(this.foo); |
| } |
| |
| class B2 implements AAA { |
| final dynamic _arr; |
| B2(foo) : _arr = [foo]; |
| dynamic get foo => _arr.first; |
| } |
| |
| class B3 implements AAA { |
| final dynamic __foo; |
| B3(this.__foo); |
| dynamic get _foo => __foo; |
| dynamic get foo => _foo; |
| } |
| |
| @pragma('dart2js:noInline') |
| test1<T>(AAA a, String expected) { |
| // call-through getter 'foo' with one type argument. |
| Expect.equals(expected, a.foo<T>()); |
| } |
| |
| @pragma('dart2js:noInline') |
| test2<U, V>(AAA a, String expected) { |
| // call-through getter 'foo' with two type arguments. |
| Expect.equals(expected, a.foo<U, V>()); |
| } |
| |
| main() { |
| test1<int>(B1(<P>() => '$P'), 'int'); |
| test1<num>(B2(<Q>() => '$Q'), 'num'); |
| test1<double>(B3(<R>() => '$R'), 'double'); |
| |
| test2<int, num>(B1(<A, B>() => '$A $B'), 'int num'); |
| test2<num, int>(B2(<X, Y>() => '$X $Y'), 'num int'); |
| test2<double, String>(B3(<C, D>() => '$C $D'), 'double String'); |
| } |