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 incorrect code in inference using bounds #6474

Merged
merged 1 commit into from
Mar 6, 2025

Conversation

mnordine
Copy link
Contributor

@mnordine mnordine commented Mar 6, 2025

The function calls were using the wrong name, first example was missing its argument. I believe the intention was to pass in a List<int>, perhaps [1].

The function calls were using the wrong name, first example was missing its argument. I believe the intention was to pass in a `List<int>`, perhaps `[1]`.
Copy link
Member

@eernstg eernstg left a comment

Choose a reason for hiding this comment

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

That's correct! The function was named f1 because there was another one (f2) illustrating the "before" and "after" version of the static analysis. It was abbreviated and the function was renamed, and the mistakes were introduced at that point. Thanks!

Some background can be seen here: https://github.com/dart-lang/site-www/pull/6403/files/020b98ff0944a7368e648ff6ca0c8bc1f43d30f6#diff-d028b328d07abdc9a45ebc82b5227850fac5c6c61725226f87d4ee515e4333c4, in the comment on line 405 of 'type-system.md'.

@eernstg
Copy link
Member

eernstg commented Mar 6, 2025

@antfitch, I'm happy about these changes. However, I'm not in the team that normally makes the final decision about site-www PRs, could you take a look?

@antfitch
Copy link

antfitch commented Mar 6, 2025

@antfitch, I'm happy about these changes. However, I'm not in the team that normally makes the final decision about site-www PRs, could you take a look?

Absolutely. Feel free to approve all of these moving forward, but I definitely think we need an editor to give the final okay & merge.

@antfitch
Copy link

antfitch commented Mar 6, 2025

/gcbrun

@dart-github-bot
Copy link
Collaborator

Visit the preview URL for this PR (updated for commit 3d2ed9a):

https://dart-dev--pr6474-patch-1-ebmhrdto.web.app

@mnordine
Copy link
Contributor Author

mnordine commented Mar 6, 2025

@antfitch antfitch merged commit 177bf5c into dart-lang:main Mar 6, 2025
10 checks passed
@antfitch antfitch self-requested a review March 6, 2025 18:14
Copy link

@antfitch antfitch left a comment

Choose a reason for hiding this comment

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

LGTM!

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.

4 participants