Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

cmd/compile: unhelpful error message if type assertion has mismatching pointer/non-pointer type #43673

Open
mprobst opened this issue Jan 13, 2021 · 2 comments · May be fixed by #43831
Open

cmd/compile: unhelpful error message if type assertion has mismatching pointer/non-pointer type #43673

mprobst opened this issue Jan 13, 2021 · 2 comments · May be fixed by #43831
Labels
compiler/runtime Issues related to the Go compiler and/or runtime. help wanted NeedsFix The path to resolution is known, but the work has not been done.
Milestone
Backlog

Comments

@mprobst
Copy link

mprobst commented Jan 13, 2021

What version of Go are you using (go version)?

$ go version
go1.15.6

Does this issue reproduce with the latest release?

Yes.

What operating system and processor architecture are you using (go env)?

n/a

What did you do?

This code:

type FooError interface {
  Something() int
  Error() string
}

err := someCall();
err.(*FooError)

Complains:

impossible type assertion:
	*FooError does not implement error (missing Error method)

The issue is that you need to write err.(FooError).

What did you expect to see?

It'd be much more helpful if it'd call out that FooError does implement error, so the problem is the added pointer indirection.

This mistake is likely because usually the concrete struct types implement error via the pointer reference, so if you change code from the concrete struct error to an interface type, you're likely to miss a * in there.

What did you see instead?

The error message above.
@ianlancetaylor ianlancetaylor changed the title Unhelpful error message if type assertion has mismatching pointer/non-pointer type cmd/compile: unhelpful error message if type assertion has mismatching pointer/non-pointer type Jan 13, 2021
@ianlancetaylor ianlancetaylor added help wanted NeedsFix The path to resolution is known, but the work has not been done. labels Jan 13, 2021
@ianlancetaylor ianlancetaylor added this to the Backlog milestone Jan 13, 2021
howjmay added a commit to howjmay/go that referenced this issue Jan 21, 2021
@howjmay
cmd/compile: Revise error msg in type assertion
a872fb4 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

close golang#43673
howjmay added a commit to howjmay/go that referenced this issue Jan 21, 2021
@howjmay
cmd/compile: Revise error msg in type assertion ptr/non-ptr condition
6a7a1cb 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

close golang#43673
howjmay added a commit to howjmay/go that referenced this issue Jan 21, 2021
@howjmay
cmd/compile: Revise error msg in type assertion ptr/non-ptr condition
38fd519 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

close golang#43673
@howjmay howjmay linked a pull request Jan 21, 2021 that will close this issue
Open
@gopherbot
Copy link

Change https://golang.org/cl/285372 mentions this issue: cmd/compile: Revise error msg in type assertion ptr/non-ptr condition

@howjmay
Copy link
Contributor

howjmay commented Jan 21, 2021

I have opened a PR to revise the error message. Please take a look. Thank you so much.

howjmay added a commit to howjmay/go that referenced this issue Jan 22, 2021
@howjmay
cmd/compile: Revise error msg in type assertion ptr/non-ptr condition
8262bed 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

close golang#43673
howjmay added a commit to howjmay/go that referenced this issue Jan 23, 2021
@howjmay
cmd/compile: Revise error msg in type assertion ptr/non-ptr condition
fde01d3 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

close golang#43673
howjmay added a commit to howjmay/go that referenced this issue Jan 23, 2021
@howjmay
cmd/compile: revise error msg in type assertion ptr/non-ptr condition
6a41d32 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

This adds a better error hint for the situation that a user writes x.(*I),
but they meant to write x.(I).

Fixes golang#43673
howjmay added a commit to howjmay/go that referenced this issue Jan 23, 2021
@howjmay
cmd/compile: revise error msg in type assertion ptr/non-ptr condition
8a25cc4 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

This adds a better error hint for the situation that a user writes x.(*I),
but they meant to write x.(I).

Fixes golang#43673
howjmay added a commit to howjmay/go that referenced this issue Jan 24, 2021
@howjmay
cmd/compile: revise error msg in type assertion ptr/non-ptr condition
c5a246b 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type.

This adds a better error hint for the situation that a user writes x.(*I),
but they meant to write x.(I).

Fixes golang#43673
howjmay added a commit to howjmay/go that referenced this issue Feb 3, 2021
@howjmay
cmd/compile: better error msg for impossible type assertions
d7c79e0 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type, which means this PR adds a
better error hint for the situation that a user writes x.(*I), but they
meant to write x.(I).

In this situation, compiler would check out whether the the missing
methods are implemented by the dereferenced object. If the dereferenced
object implements these missing methods, then return error message
`<original_object> does not have <missing_method> (but
<dereferenced_object> does)`

Fixes golang#43673
howjmay added a commit to howjmay/go that referenced this issue Feb 4, 2021
@howjmay
cmd/compile: better error msg for impossible type assertions
a9f8e4b 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type, which means this PR adds a
better error hint for the situation that a user writes x.(*I), but they
meant to write x.(I).

In this situation, compiler would check out whether the the missing
methods are implemented by the dereferenced object. If the dereferenced
object implements these missing methods, then return error message
`<original_object> does not have <missing_method> (but
<dereferenced_object> does)`

Fixes golang#43673
howjmay added a commit to howjmay/go that referenced this issue Feb 4, 2021
@howjmay
cmd/compile: better error msg for impossible type assertions
fbf4ffa 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type, which means this PR adds a
better error hint for the situation that a user writes x.(*I), but they
meant to write x.(I).

In this situation, compiler would check out whether the the missing
methods are implemented by the dereferenced object. If the dereferenced
object implements these missing methods, then return error message
`<original_object> does not have <missing_method> (but
<dereferenced_object> does)`

Fixes golang#43673
howjmay added a commit to howjmay/go that referenced this issue Feb 5, 2021
@howjmay
cmd/compile: better error msg for impossible type assertions
e55054a 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type, which means this PR adds a
better error hint for the situation that a user writes x.(*I), but they
meant to write x.(I).

In this situation, compiler would check out whether the the missing
methods are implemented by the dereferenced object. If the dereferenced
object implements these missing methods, then return error message
`<original_object> does not have <missing_method> (but
<dereferenced_object> does)`

Fixes golang#43673
howjmay added a commit to howjmay/go that referenced this issue Apr 11, 2021
@howjmay
cmd/compile: better error msg for impossible type assertions
530585b 
Revise the error message under the condition that type assertion has
mismatching pointer/non-pointer type, which means this PR adds a
better error hint for the situation that a user writes x.(*I), but they
meant to write x.(I).

In this situation, compiler would check out whether the the missing
methods are implemented by the dereferenced object. If the dereferenced
object implements these missing methods, then return error message
`<original_object> does not have <missing_method> (but
<dereferenced_object> does)`

Fixes golang#43673
@gopherbot gopherbot added the compiler/runtime Issues related to the Go compiler and/or runtime. label Jul 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compiler/runtime Issues related to the Go compiler and/or runtime. help wanted NeedsFix The path to resolution is known, but the work has not been done.
Projects
Go Compiler / Runtime
Status: Triage Backlog
Milestone
Backlog
Development

Successfully merging a pull request may close this issue.

cmd/compile: better error msg for impossible type assertions howjmay/go
4 participants
@mprobst @ianlancetaylor @gopherbot @howjmay