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.

Sign up for GitHub

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

Write proper spec for @typeParam annotation #187

Open
jclark opened this issue Jun 4, 2019 · 4 comments
Open

Write proper spec for @typeParam annotation #187

jclark opened this issue Jun 4, 2019 · 4 comments
Assignees
@jclark
Labels
Area/Langext Relates to annotations providing language extras Type/Improvement Enhancement to language design
Milestone
Nutcracker

Comments

@jclark
Copy link
Collaborator

jclark commented Jun 4, 2019

Should go in langext/typeParam.
@jclark jclark added the Area/Langext Relates to annotations providing language extras label Jun 4, 2019
@jclark jclark added this to the 2019R2 milestone Jun 4, 2019
@jclark jclark self-assigned this Jun 4, 2019
@jclark jclark added the status/pending Design is agreed and waiting to be added label Jun 4, 2019
@jclark jclark modified the milestones: 2019R2, 2019R3 Jun 12, 2019
@jclark jclark modified the milestones: 2019R3, 2019R4 Aug 16, 2019
@jclark jclark modified the milestones: 2019R5, 2020R1 Dec 21, 2019
@jclark jclark modified the milestones: 2020R1, 2020R2 Feb 24, 2020
@jclark jclark changed the title Write spec for @typeParam annotation Write proper spec for @typeParam annotation Mar 10, 2020
@jclark
Copy link
Collaborator Author

jclark commented Mar 10, 2020

Also see #453.

@hasithaa notes that we may have a similar problem when using a @typeparam with arguments of function type, since function arguments are contravariant.

@jclark jclark mentioned this issue Mar 10, 2020
Closed
@jclark
Copy link
Collaborator Author

jclark commented Mar 11, 2020

New functionality needed is #457.

@jclark jclark removed the status/pending Design is agreed and waiting to be added label Mar 11, 2020
@jclark jclark modified the milestones: 2020R2, 2020R3 Mar 11, 2020
@jclark
Copy link
Collaborator Author

jclark commented Jun 1, 2020

How Python's type hints deal with covariance/contravariance

@jclark
Copy link
Collaborator Author

jclark commented Jun 5, 2020

Do we have an issue about variance for varargs (since array types are covariant)?

@jclark jclark mentioned this issue Nov 7, 2020
Closed
@anupama-pathirage anupama-pathirage added the Type/Improvement Enhancement to language design label Nov 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jclark jclark

Labels
Area/Langext Relates to annotations providing language extras Type/Improvement Enhancement to language design
Projects
None yet
Milestone
Nutcracker
Development

No branches or pull requests
2 participants
@jclark @anupama-pathirage