2 ms·It's part of generalized existentials, a forthcoming language feature.by skohan 7y agoIt's part of generalized existentials, a forthcoming language feature.