| // Copyright (c) 2018, 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. |
| |
| // Regression test for issue 13354. |
| |
| /*element: bar:[exact=JSUInt31]*/ |
| bar() => 42; |
| |
| /*element: baz:[subclass=Closure]*/ |
| baz() => bar; |
| |
| /*element: A.:[exact=A]*/ |
| class A { |
| /*element: A.foo:[exact=JSUInt31]*/ |
| foo() => 42; |
| } |
| |
| /*element: B.:[exact=B]*/ |
| class B extends A { |
| /*element: B.foo:[subclass=Closure]*/ |
| foo() => super.foo; |
| } |
| |
| /*element: main:[null]*/ |
| main() { |
| baz(); |
| new B(). /*invoke: [exact=B]*/ foo(); |
| } |
