| // 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; |