blob: 089f134a7a261d0389fb7e92faeb361f6b5d0635 [file] [log] [blame]
// Copyright (c) 2013, 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
import 'native_testing.dart';
import 'dart:_js_helper' show setNativeSubclassDispatchRecord;
import 'dart:_interceptors' show Interceptor, findInterceptorForType;
// Test calling convention on subclasses of native classes.
class M {
miz() => 'M';
class N {}
class A extends N {}
class B extends A with M {
// The call to [miz] has a know type [B]. The call is in an intercepted
// method and to an intercepted method, so the ambient interceptor can be
// used. For correct optimization of the interceptor, the compiler needs to
// (1) correctly determine that B is an intercepted type (because it extends a
// native class) and (2) realize that the intersection of [B] and subclasses
// of mixin applications of [M] is non-empty.
callMiz() => this.miz();
B makeB() native;
getBPrototype() native;
void setup() {
JS('', r"""
function B() {}
makeB = function(){return new B()};
getBPrototype = function(){return B.prototype;};
main() {
setNativeSubclassDispatchRecord(getBPrototype(), findInterceptorForType(B));
B b = makeB();
Expect.equals('M', b.callMiz());