blob: 44e3ccc5e8a8a565a6e0e8661f76b82088f94e5e [file] [log] [blame]
class Class<X> {}
extension type E1<X>(Class<Never> foo) implements Class<Function(X)> {}
extension type E10<X>(Object? foo) implements ExtensionType<X Function(X)> {}
extension type E11<X>(Object? foo)
implements ExtensionType<X Function(Function(X))> {}
extension type E12<X>(Object? foo)
implements ExtensionType<X Function(Function(Function(X)))> {}
extension type E2<X>(Class<Never> foo)
implements Class<Function(Function(X))> {}
extension type E3<X>(Class<Never> foo)
implements Class<Function(Function(Function(X)))> {}
extension type E4<X>(Class<Never> foo) implements Class<X Function(X)> {}
extension type E5<X>(Class<Never> foo)
implements Class<X Function(Function(X))> {}
extension type E6<X>(Class<Never> foo)
implements Class<X Function(Function(Function(X)))> {}
extension type E7<X>(Object? foo) implements ExtensionType<Function(X)> {}
extension type E8<X>(Object? foo)
implements ExtensionType<Function(Function(X))> {}
extension type E9<X>(Object? foo)
implements ExtensionType<Function(Function(Function(X)))> {}
extension type ExtensionType<X>(Object? foo) {}