blob: fd186416badc9de3d58aa7be83cfa92d102fb7ad [file] [log] [blame]
// Copyright (c) 2012, 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.
import "native_testing.dart";
abstract class Window {
final int document;
}
// Defining this global object makes Frog eager on optimizing
// call sites where the receiver is typed 'Window'.
@Native("@*DOMWindow")
class _DOMWindowJs implements Window {
final int document;
}
class Win implements Window {}
main() {
nativeTesting();
// By typing this variable to 'Window', Frog will optimize calls on
// it.
Window win = new Win();
Expect.throws(() => win.document, (e) => e is NoSuchMethodError);
}