| // Copyright (c) 2020, 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. |
| |
| /*library: nnbd=true*/ |
| |
| import "opt_out.dart"; |
| |
| /*class: A_dynamic:A<dynamic>,A_dynamic,Object*/ |
| class A_dynamic implements A<dynamic> {} |
| |
| /*class: A_void:A<void>,A_void,Object*/ |
| class A_void implements A<void> {} |
| |
| /*class: B1:A<Object?>,A_Object,A_dynamic,B1,Object*/ |
| class B1 extends A_Object implements A_dynamic {} |
| |
| /*class: B2:A<Object?>,A_Object,A_void,B2,Object*/ |
| class B2 extends A_Object implements A_void {} |
| |
| main() {} |
