| // Copyright (c) 2025, 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. |
| |
| import '../../common/testing.dart' as helper; |
| import 'package:expect/expect.dart'; |
| |
| import 'shared/shared.dart' show Base, SuperBase; |
| |
| /// A dynamic module is allowed to extend a class in the dynamic interface and |
| /// override its members. |
| void main() async { |
| final o = (await helper.load('entry1.dart')) as Base; |
| if (o is SuperBase<num, String>) { |
| Expect.equals(3, o.method1()); |
| } else { |
| Expect.fail('Missed type check'); |
| } |
| helper.done(); |
| } |