Language/Expressions/Property_Extraction/Getter_Access_and_Method_Extraction/instance_of_type_t03.dart

// 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
 * @Issue 42114
 * @author sgrekhov@unipro.ru
 */
import '../../../../Utils/expect.dart';
import 'instance_of_type_lib.dart' as lib;

main() {
  dynamic o = new lib.C();
  dynamic t = o.runtimeType;
  Expect.throws(() {
    t.s;
  }, (e) => e is NoSuchMethodError);
}