Claude Code seems to produce non-typechecking code initially.
Try this prompt to repro:
make an example workflow which is a multi-step order processing workflow, and which may have business logic level failures at some of the later steps. Do it in Go.