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

QualifierPolymorphism assignment context resolution #83

Closed
wants to merge 2 commits into from

Conversation

baoruiz
Copy link
Member

@baoruiz baoruiz commented Apr 10, 2019

This PR adds support for resolution of polymorphic qualifiers using assignment context.

@xingweitian xingweitian mentioned this pull request Dec 18, 2019
xingweitian added a commit to xingweitian/checker-framework that referenced this pull request Jan 17, 2020
xingweitian added a commit to xingweitian/checker-framework that referenced this pull request Jan 19, 2020
@wmdietl
Copy link
Member

wmdietl commented May 28, 2020

I think this was superseded by #114
@xingweitian could you please confirm and close this or highlight the differences?

@xingweitian
Copy link

Yes, this is replaced by #114.

@xingweitian xingweitian removed their assignment May 29, 2020
zcai1 referenced this pull request in zcai1/checker-framework Sep 15, 2021
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.

3 participants