Skip to content

endpoint type is Any#2895

Merged
davidism merged 1 commit into3.0.xfrom
endpoint-type
May 5, 2024
Merged

endpoint type is Any#2895
davidism merged 1 commit into3.0.xfrom
endpoint-type

Conversation

@davidism
Copy link
Copy Markdown
Member

@davidism davidism commented May 5, 2024

Rule.endpoint can be anything, not only a string. Use Any instead of str for annotations. The only place I could see where this might matter is for the "did you mean" suggestion, which now converts the endpoints to strings before commparing.

fixes #2836

@davidism davidism added this to the 3.0.3 milestone May 5, 2024
@davidism davidism merged commit d2d3869 into 3.0.x May 5, 2024
@davidism davidism deleted the endpoint-type branch May 5, 2024 16:26
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators May 20, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant