| /* |
| * 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); |
| } |