blob: 00d2c987fcf89b4000c14fdefb940dffcf0333fc [file] [log] [blame]
extension type E1<X>(X it) {}
typedef F<X> = X;
extension type E2<X>(E1<F<E1<X>>> it) {}