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

[docs] Context bounds in polymorphic functions targets 3.7 #21822

Closed
wants to merge 1 commit into from

Conversation

bishabosha
Copy link
Member

@bishabosha bishabosha commented Oct 21, 2024

[skip-ci]

@KacperFKorban
Copy link
Member

Overall makes sense.

There is another issue though regarding the examples in the docs. My current implementation doesn't lift the restriction of requiring at least one term parameter list in a poly function type. And so the alias example is rejected in parser right now. When discussing it last time, we decided to leave it as a future improvement for now. This isn't relevant to changing the target version for this change, but just wanted to mention it somewhere.

@WojciechMazur
Copy link
Contributor

Seems to be no longer applicable: #21643 (comment)

@bishabosha
Copy link
Member Author

this is no longer true

@bishabosha bishabosha closed this Nov 26, 2024
@WojciechMazur WojciechMazur deleted the bishabosha-patch-1 branch December 12, 2024 13:14
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

Successfully merging this pull request may close these issues.

4 participants