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

Parameters in overloads should have same order #759

Open
RalfKoban opened this issue Dec 14, 2023 · 0 comments
Open

Parameters in overloads should have same order #759

RalfKoban opened this issue Dec 14, 2023 · 0 comments

Comments

@RalfKoban
Copy link
Owner

RalfKoban commented Dec 14, 2023

We should report a warning if the parameter order in the overloads differ.

The reason is that most likely these parameters represent the same inputs across the different overloads, so they should have the same order.

This is related to #669

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: Next
Development

No branches or pull requests

1 participant