On Sunday, 1 May 2022 at 12:39:08 UTC, Elfstone wrote:

Great, I'm using the constraint, until it's fixed.
Will it be fixed though? The DIP that Tejas linked is from 2020!!!

The DIP was postponed. I can contact the author to see if he intends to pick it up again. If not, anyone interested can take it over. And anyone can submit an alternative at any time.

Reply via email to