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

Computing type of new java.lang.Enum[Foo]() throws NonMethodReferenceException #380

Closed
adpi2 opened this issue Nov 8, 2023 · 0 comments · Fixed by #381
Closed

Computing type of new java.lang.Enum[Foo]() throws NonMethodReferenceException #380

adpi2 opened this issue Nov 8, 2023 · 0 comments · Fixed by #381
Assignees
Labels
bug Something isn't working

Comments

@adpi2
Copy link
Member

adpi2 commented Nov 8, 2023

enum Foo extends java.lang.Enum[Foo]:
  case Bar

Somewhere inside the tree of Foo there is an Apply tree: new java.lang.Enum[Foo](). If I compute the type of this tree it throws NonMethodReferenceException because the type of the fun is not a method type.

@adpi2 adpi2 changed the title Computing type of new java.lang.Enum[Foo] fails with NonMethodReferenceException Computing type of new java.lang.Enum[Foo]() throws NonMethodReferenceException Nov 8, 2023
sjrd added a commit to sjrd/tasty-query that referenced this issue Nov 8, 2023
@sjrd sjrd self-assigned this Nov 8, 2023
@sjrd sjrd added the bug Something isn't working label Nov 8, 2023
@sjrd sjrd closed this as completed in #381 Nov 8, 2023
sjrd added a commit that referenced this issue Nov 8, 2023
Fix #380: Give the correct type to the synthetic ctor of j.l.Enum.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants