blob: 7e5b0d41874d0d77c4a53a9331d55541991a3308 [file] [log] [blame]
// Copyright (c) 2014, 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";
class A {
var foo;
class B {
var foo;
nativeId(x) native;
void setup() {
JS('', r"""
nativeId = function(x) { return x; }
main() {
var b = new B(); = (x) => x + 1;
b = nativeId(b); // Inferrer doesn't know if A has been instantiated.
// At this point b could be A or B. The call to "foo" thus needs to go through
// an interceptor. Tests that the interceptor works for retrieving the field
// and invoking the closure.
// Use a type-check to guarantee that b is a "B".
if (b is B) {