Fix post-rebase typecheck regressions

Co-authored-by: codex <codex@users.noreply.github.com>
0c4999b764Julius Marminge committed on 3/6/2026, 2:20:21 AMparent3f503cc
4 files changedLine totals unavailable