blob: 9024e2411d805f2d56fa15233e6f4a25d4c7a81f [file] [log] [blame]
/*
* Copyright (c) 2015, 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.
*/
/**
* @assertion Evaluation of a property extraction i of the form e.m proceeds
* as follows:
* First, the expression e is evaluated to an object o. Let f be the result of
* looking up method m in o with respect to the current library L. If o is an
* instance of Type but e is not a constant type literal, then if f is a method
* that forwards to a static method, method lookup fails
* @description Check that if library object is an instance of Type but not a
* constant type literal and result of method lookup forwards to a static
* method, then lookup fails
* @author sgrekhov@unipro.ru
*/
import '../../../../Utils/expect.dart';
import 'instance_of_type_lib.dart' as lib;
main() {
dynamic o = new lib.C();
Expect.throws(() {o.runtimeType.s;}, (e) => e is NoSuchMethodError);
}