| // 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*/ |
| |
| /*class: A:A,Object*/ |
| class A implements Function {} |
| |
| /*class: B:B,Object*/ |
| class B extends Function {} |
| |
| /*cfe|cfe:builder.class: C:C,Object,_C&Object&Function*/ |
| /*analyzer.class: C:C,Object*/ |
| class C extends Object with Function {} |
| |
| // CFE hides that this is a mixin declaration since its mixed in type has been |
| // removed. |
| /*cfe|cfe:builder.class: _C&Object&Function:Object,_C&Object&Function*/ |
| |
| /*cfe|cfe:builder.class: D:D,Object*/ |
| class D = Object with Function; |