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() { }