Hi all, I just flipped a feature flag enabling a new generic signature minimization algorithm for protocol signatures. Since I've only posted a little bit about my work in this area here so I thought I'd give an more complete update. A year and a half ago I wrote how Swift type checking is undecidable, then last year I sketched out a new way o...