| // Copyright (c) 2017, 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. | |
| class Super { | |
| /*Super.field:[exact=JSUInt31]*/ | |
| var field = 42; | |
| } | |
| class Sub extends Super { | |
| /*Sub.method:[exact=JSUInt31]*/ | |
| method() => super.field; | |
| } | |
| /*main:[null]*/ | |
| main() { | |
| new Sub(). /*[exact=Sub]*/ method(); | |
| } |