vegarsti opened this issue 2 years ago · 1 comments
This was opened a bit in a hurry after a Telegram message. Turns out this is incorrect, as the types of the two functions differ.