blob: 55a41237ea6ef764b5f5d085cf393649631928f1 [file] [log] [blame]
extension StaticType<T> on T {
T expectStaticType<R extends Exactly<T>>() {}
}
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() {}
typedef Exactly<T> = T Function(T);