| // 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 Otherwise, i is a getter invocation. Let f be the result of |
| * looking up getter m in o with respect to L. If o is an instance of Type |
| * but e is not a constant type literal, then if f is a getter that forwards |
| * to a static getter, getter lookup fails. |
| * @description Check that if object is an instance of Type but not a constant |
| * type literal and result of getter lookup forwards to a static getter, then |
| * lookup fails |
| * @Issue 42114 |
| * @author sgrekhov@unipro.ru |
| */ |
| import '../../../../Utils/expect.dart'; |
| |
| class C { |
| static int get s => 0; |
| } |
| |
| main() { |
| dynamic o = new C(); |
| dynamic t = o.runtimeType; |
| Expect.throws(() { |
| t.s; |
| }, (e) => e is NoSuchMethodError); |
| } |
