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

duplicate identifier error for identifier Token #691

Open
lmeinen opened this issue Oct 22, 2023 · 1 comment
Open

duplicate identifier error for identifier Token #691

lmeinen opened this issue Oct 22, 2023 · 1 comment

Comments

@lmeinen
Copy link

lmeinen commented Oct 22, 2023

The following code

package jwt

type Token interface{}

results in the following error in v23.02

error: got duplicate identifier Token
type Token interface{}
     ^

which seems to me to be undesired behavior.

Up until now the only workaround I've been able to find is to rename the above interface type, e.g. to JwtToken. Unfortunately, this isn't really an option in my case, as I'm working with annotated Go files and the Token type is imported from an external library. Therefore, changing the name of the stubbed type results in compilation errors and renders the annotated code unexecutable.

@jcp19
Copy link
Contributor

jcp19 commented Nov 17, 2024

Related to #118

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants