Function findUnhandledErrors

internal/rules/missing_effect_error.go:86–98

findUnhandledErrors returns the source error types that are not assignable to the target error type.

(tp *typeparser.TypeParser, c *checker.Checker, srcE, tgtE *checker.Type)

// findUnhandledErrors returns the source error types that are not assignable to the target error type.
func findUnhandledErrors(tp *typeparser.TypeParser, c *checker.Checker, srcE, tgtE *checker.Type) []*checker.Type {
	// Unroll source error union into individual members
	srcMembers := tp.UnrollUnionMembers(srcE)

	var unhandled []*checker.Type
	for _, member := range srcMembers {
		// Check if this specific member is assignable to target
		if !checker.Checker_isTypeAssignableTo(c, member, tgtE) {
			unhandled = append(unhandled, member)
		}
	}
	return unhandled
}

// formatErrorTypes formats a slice of error types as a union string (e.g., "ErrorA | ErrorB").
func formatErrorTypes(c *checker.Checker, types []*checker.Type) string {