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

fix: fix handling of intersection types for lambda parameters #3521

Merged
merged 6 commits into from
Aug 17, 2020

Conversation

quentinLeDilavrec
Copy link
Contributor

Copy link
Collaborator

@monperrus monperrus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot for your contribution! See review comments :)

if (!(lambdaTypeRef instanceof CtIntersectionTypeReference)) {
return getOverriddenAux(lambdaTypeRef);
} else {
CtElement parent = lambdaTypeRef.getParent();
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

refactor the else block in getOverriddenMethodForIntersectionType?

Copy link
Collaborator

@monperrus monperrus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot for the update. Last thing: could you rename getOverriddenAux into getOverriddenMethodForNormalType? Thanks!

from getOverriddenMethodAux
to getOverriddenMethodForIntersectionType
@monperrus
Copy link
Collaborator

Thanks. We have a few checkstyle problems.

@nharrand
Copy link
Collaborator

LGTM! @monperrus do you want to merge?

@monperrus monperrus changed the title Lambda intersection with cast fix: fix handling of intersection types for lambda parameters Aug 17, 2020
@monperrus monperrus merged commit f8e0c69 into INRIA:master Aug 17, 2020
@monperrus
Copy link
Collaborator

Yes, thanks a lot @quentinLeDilavrec and @nharrand for the polishing commit!

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