Hi Pavel, On Tue, Jul 05, 2022 at 08:42:09AM +0200, Pavel Stehule wrote: > Hi > > fresh rebase + type check. Before returning any value, the related type is > checked if it is valid still
Great news, thanks a lot for keeping working on it! I'm still in PTO since last Friday, but I'm planning to start reviewing this patch as soon as I come back. It might take a while as my knowledge of this patch are a bit blurry but hopefully it shouldn't take too long.
