Is there a way for these to be just `span_err`? Even just returning `cx.expr_unreachable()` to satisfy the return value?