Struct FuncErrRetNonnilArg

assertion/function/assertiontree/rich_check_effect.go:114–119

A FuncErrRetNonnilArg is a RichCheckEffect for a trusted function call `f(..., &v, ...)` whose final result is of type `error` and which, on success (`err == nil`), guarantees that the pointee `v` of a by-address argument is non-nil. The canonical example is `json.Unmarshal(data, &v)`: once the retu

// pre-existing expression with its own (e.g., unassigned/nilable) producer, so on the error-is-nil
// branch we must actively *produce* a non-nil value for it, exactly as a `v != nil` check would.
type FuncErrRetNonnilArg struct {
	root    *RootAssertionNode // an associated root node
	err     TrackableExpr      // the `error`-typed return of the function
	arg     TrackableExpr      // the trackable pointee argument guaranteed non-nil on success
	argExpr ast.Expr           // the raw pointee expression, for producing a non-nil value
}

func (f *FuncErrRetNonnilArg) isTriggeredBy(expr ast.Expr) bool {
	return exprIsPositiveNilCheck(f.root, expr, f.err)