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

[Bug]: Invalid symbol position given for intersection error types #41183

Closed
mindula opened this issue Aug 9, 2023 · 3 comments · Fixed by #41882
Closed

[Bug]: Invalid symbol position given for intersection error types #41183

mindula opened this issue Aug 9, 2023 · 3 comments · Fixed by #41882
Assignees
Labels
Reason/Other None of the other reasons. Team/CompilerFE All issues related to Language implementation and Compiler, this exclude run times. Type/Bug

Comments

@mindula
Copy link
Contributor

mindula commented Aug 9, 2023

Description

For the below scenario, we get VIRTUAL as the symbol.origin for MyDefaultError. Hence, MyDefaultError is not included in the list of visible symbols

Screenshot 2023-08-09 at 15 26 50 Screenshot 2023-08-09 at 15 28 19

Steps to Reproduce

type DefaultError distinct error;

public type MyErrorDetail record {
    string fileName;
};

type MyDefaultError DefaultError & error<MyErrorDetail>;

public function main() {
    My<cursor>
}

Affected Version(s)

No response

OS, DB, other environment details and versions

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response

@mindula mindula added Type/Bug Team/CompilerFE All issues related to Language implementation and Compiler, this exclude run times. labels Aug 9, 2023
@mindula
Copy link
Contributor Author

mindula commented Aug 9, 2023

Related issue: #34509

@nipunayf
Copy link
Contributor

nipunayf commented Dec 9, 2023

The issue cannot seem to be reproduced with 2201.8.3.

image

Copy link

This issue is NOT closed with a proper Reason/ label. Make sure to add proper reason label before closing. Please add or leave a comment with the proper reason label now.

      - Reason/EngineeringMistake - The issue occurred due to a mistake made in the past.
      - Reason/Regression - The issue has introduced a regression.
      - Reason/MultipleComponentInteraction - Issue occured due to interactions in multiple components.
      - Reason/Complex - Issue occurred due to complex scenario.
      - Reason/Invalid - Issue is invalid.
      - Reason/Other - None of the above cases.

@nipunayf nipunayf added the Reason/Other None of the other reasons. label Dec 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Reason/Other None of the other reasons. Team/CompilerFE All issues related to Language implementation and Compiler, this exclude run times. Type/Bug
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

2 participants