extension<R, T> on ;
R Function(T) {}
class Class<T extends Class<T>> {}
class Subclass extends Class<Subclass> {}
extension<T extends Class<T>> on ;
dynamic Function<S extends T>(T, S) {}
main() {}