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.