blob: 32d7067345e168ca659fc4fb45c890868f31ba7f [file] [log] [blame]
extension type ET1(int id) {}
extension type ET2<T>(T id) {}
extension type ET3.new(int id) {}
extension type ET4<T>.new(T id) {}
extension type ET5.n(int id) {}
extension type ET6<T>.n(T id) {}
main() {}
extension StaticType<T> on T {
T expectStaticType<R extends Exactly<T>>() {}
}
typedef Exactly<T> = T Function(T);