The second argument to errors.As must be a pointer, because As needs to modify the value that is being passed in. If you provide it a value rather than a pointer, that value gets copied, and any changes made to by errors.As would not be visible to the caller.

Additionally, the pointer must be to a type that implements error, since errors.As needs to deal with errors.

In your original snippet, the type *ptrErr implements the error interface. The type ptrErr does not. Note that this fails to compile:

var _ error = ptrErr{}

// ./prog.go:15:5: cannot use ptrErr literal (type ptrErr) as type error in assignment:
// 	ptrErr does not implement error (Error method has pointer receiver)

There isn't a way errors.As can do its job if you don't provide it with a pointer to a type that implements the error interface, that's why you see the error from it:

second argument to errors.As must be a pointer to an interface or a type implementing error

Do you think the error text can be improved to make this more clear?

/cc @jba @neild

There isn't a way errors.As can do its job if you don't provide it with a pointer to a type that implements the error interface, that's why you see the error from it

But couldn't it check if the pointer type implements the error interface, rather than dereferencing it unconditionally first? As mentioned, its possible to workaround this by passing in a double pointer, but that is IMHO far from intuitive.

But couldn't it check if the pointer type implements the error interface, rather than dereferencing it unconditionally first?

At this time, I'm not sure if this is possible.

its possible to workaround this by passing in a double pointer

As far as I know, that's not just a workaround, that's the intended usage. A double pointer can be thought of as a single pointer to a value that implements the error interface.

From errors package documentation:

var perr *os.PathError
if errors.As(err, &perr) {
	fmt.Println(perr.Path)
}

Note that perr value is a pointer to os.PathError, and the second argument being passed to errors.As is a pointer to that.

Can you clarify if you're only interested in the boolean result value from errors.As? In the original snippet you shared, even if it didn't panic, it wouldn't be possible to get the value of the second argument to errors.As.

Also see https://blog.golang.org/go1.13-errors#TOC_3.2. if you haven't already.

I see, thanks for your responses. So I think the main source of confusion for me here was that I read the error second argument to errors.As must be a pointer to an interface or a type implementing error as second argument to errors.As must be a (pointer to an interface) or (a type implementing error) rather than second argument to errors.As must be pointer to (an interface) or (a type implementing error).

Maybe we can reword it to sth like second argument to errors.As must be pointer to an interface or a pointer to a type implementing error (which itself may be a pointer) ?

Can you clarify if you're only interested in the boolean result value from errors.As? In the original snippet you shared, even if it didn't panic, it wouldn't be possible to get the value of the second argument to errors.As.

Yes I am, I just tried to keep the snippet short

I'm glad we figured out the source of confusion, that's very helpful and can be used to improve the error message.

There is yet another possible interpretation: second argument to errors.As must be a pointer to (an interface or a type) implementing error.

So, it should be helpful to reword the error text to make the interpretation less ambiguous.

Change https://golang.org/cl/221877 mentions this issue: go/analysis/passes/erroras: clarify message

Thank you for filing this bug @alvaroaleman, and welcome to the Go project! Thanks for the work on it @dmitshur and @jba! I saw that @jba's CL https://go-review.googlesource.com/c/tools/+/221877/ added some clarification. Is there more that we could do for this issue? Thanks.

Hey thanks for the ping, I think this can be considered solved, thanks for the help everyone!