fix(show): satisfy mypy for optional span annotation

Stevengre · Stevengre · commit cc40dd625594 · 2026-03-03T11:59:56.000+08:00
diff --git a/kmir/src/kmir/utils.py b/kmir/src/kmir/utils.py
@@ -300,6 +300,7 @@ def _annotate_nobody_function(k_cell: KInner, smir_info: SMIRInfo) -> list[str]:
     }
 
     annotations: list[str] = []
+    span: int | None = None
 
     match k_cell:
         case KSequence(items=(KApply(label=KLabel(name=label_name), args=args), *_)) | KApply(

Original file line number	Diff line number	Diff line change
`@@ -300,6 +300,7 @@ def _annotate_nobody_function(k_cell: KInner, smir_info: SMIRInfo) -> list[str]:`
`300`	`300`	`}`
`301`	`301`
`302`	`302`	`annotations: list[str] = []`
	`303`	`+ span: int \| None = None`
`303`	`304`
`304`	`305`	`match k_cell:`
`305`	`306`	`case KSequence(items=(KApply(label=KLabel(name=label_name), args=args), *_)) \| KApply(`