Fix pyright (#623)

kaihsin · dependabot[bot] · web-flow · commit 1e46999e3d86 · 2026-03-19T12:50:20.000-04:00
This PR address small issue that make pyright CI failed.

---------

Signed-off-by: dependabot[bot] &lt;support@github.com&gt;
Co-authored-by: dependabot[bot] &lt;49699333+dependabot[bot]@users.noreply.github.com&gt;
diff --git a/src/kirin/dialects/ilist/rewrite/to_range_loop.py b/src/kirin/dialects/ilist/rewrite/to_range_loop.py
@@ -37,6 +37,7 @@ def rewrite_Statement(self, node: Statement) -> RewriteResult:
 
         ele_arg = body_block.args[0]
         index = body_block.args.insert_from(0, types.Int)
+        assert body_block.first_stmt is not None, "first stmt does not exists"
         (ele_getitem := py.GetItem(iterable, index)).insert_before(
             body_block.first_stmt
         )

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,7 @@ def rewrite_Statement(self, node: Statement) -> RewriteResult:`
`37`	`37`
`38`	`38`	`ele_arg = body_block.args[0]`
`39`	`39`	`index = body_block.args.insert_from(0, types.Int)`
	`40`	`+ assert body_block.first_stmt is not None, "first stmt does not exists"`
`40`	`41`	`(ele_getitem := py.GetItem(iterable, index)).insert_before(`
`41`	`42`	`body_block.first_stmt`
`42`	`43`	`)`