Re: [PATCH 06/13] verification/rvgen: Convert __fill_verify_guards_func() to Lark

[Wander Lairson Costa]

On Mon, May 18, 2026 at 4:21 AM Nam Cao <namcao@xxxxxxxxxxxxx> wrote:
>
> Wander Lairson Costa <wander@xxxxxxxxxx> writes:
> >> +        if not self.has_guard:
> >> +            return
> >
> > The signature of function says this function return a list, instead of
> > None.
>
> Can you share the tools you are using to catch these? Or did you notice
> that yourself?
>

I use pyright [1] with vim integration.

[1] https://github.com/microsoft/pyright

> Nam
>