extension Extension<T> (){}
on T (){}
extension BoundExtension<T extends Class> (){}
on T (){}
class Class {}
class SubClass extends Class {}
Class test1<T>(T t1) {}
test2<T extends Class>(T t2) {}
test3<T>(T t3) {}
main() {}