Skip to content

Fix bound propagation in ConstraintHandling #11785

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

Merged
merged 2 commits into from
Mar 17, 2021

Conversation

Linyxus
Copy link
Contributor

@Linyxus Linyxus commented Mar 17, 2021

This PR fixes #11682.
A brief explanation on the problem and the fix:
https://gist.github.com/Linyxus/88dcc14087b8940ad992bb78f5f5b1d2

@abgruszecki abgruszecki requested a review from smarter March 17, 2021 13:03
@smarter
Copy link
Member

smarter commented Mar 17, 2021

A brief explanation on the problem and the fix: gist.github.com/Linyxus/88dcc14087b8940ad992bb78f5f5b1d2

Nice explanation! You could copy-paste it directly in the commit message for future reference.

@Linyxus
Copy link
Contributor Author

Linyxus commented Mar 17, 2021

Good idea! I have amended the commit and added the note into the message.

@smarter smarter enabled auto-merge March 17, 2021 13:41
@smarter smarter merged commit 06202fd into scala:master Mar 17, 2021
@Kordyjan Kordyjan added this to the 3.0.0 milestone Aug 2, 2023
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.

GADT type unification chain length limitation
3 participants