| // Copyright (c) 2016, 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. |
| // |
| // VMOptions=--optimization-counter-threshold=10 --no-background-compilation |
| |
| // @dart = 2.9 |
| |
| abstract class A<T extends A<T>> { |
| @pragma('vm:prefer-inline') |
| f(x) => new R<T>(x); |
| } |
| |
| class B extends A<B> {} |
| |
| class R<T> { |
| @pragma('vm:prefer-inline') |
| R(T field); |
| } |
| |
| class C extends B {} |
| |
| class D extends C {} |
| |
| // f will be inlined and T=B will be forwarded to AssertAssignable in the |
| // R. However B will be wrapped in the TypeRef which breaks runtime TypeCheck |
| // function (Instance::IsInstanceOf does not work for TypeRefs). |
| @pragma('vm:never-inline') |
| f(o) => new B().f(o); |
| |
| main() { |
| final o = new D(); |
| for (var i = 0; i < 10; i++) { |
| f(o); |
| } |
| } |