blob: 773da9b7f6bcdc7d712dff24916962ef64e88b4a [file] [log] [blame]
// Copyright (c) 2018, 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.9
// Verify that compiler loads class id from the receiver and not from type
// arguments when performing polymorphic inlining in the AOT mode.
import "package:expect/expect.dart";
abstract class Base {
Type rareMethod<T>();
}
class A extends Base {
Type rareMethod<T>() => A;
}
class B extends Base {
Type rareMethod<T>() => B;
}
Type trampoline<T>(Base v) => v.rareMethod<T>();
void main() {
Expect.equals(A, trampoline(new A()));
Expect.equals(B, trampoline(new B()));
}