https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105841
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Mike Spertus from comment #3) > Thanks for the nudge, Jason. I will shake the bit rot off the POC and try to > polish it to something mergeable. OK if I ping you if I have questions? Absolutely!