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

Revert "Recursively check nonvariant arguments of base types for realizability" #12000

Merged
merged 2 commits into from
Apr 7, 2021

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Apr 6, 2021

Fixes #11995

There's still something we need to check to fix #11545. But we have to find out a better way to do it.

@odersky odersky requested a review from abgruszecki April 6, 2021 08:27
@odersky odersky added this to the 3.0.0 milestone Apr 6, 2021
@odersky
Copy link
Contributor Author

odersky commented Apr 6, 2021

This is probably severe enough to need a backport and an RC3.

@abgruszecki abgruszecki merged commit 63fb4e7 into scala:master Apr 7, 2021
@abgruszecki abgruszecki deleted the fix-11995 branch April 7, 2021 09:58
@abgruszecki
Copy link
Contributor

@odersky how do we backport it? Will you open a separate PR to the RC2 branch?

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.

Overconstrained GADT bounds in presence of bad bounds Conflicting base type arguments error in RC2
3 participants