Skip to content

Editorial: mark a callsite of GetBindingValue as not throwing #3599

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

Merged
merged 1 commit into from
Jun 27, 2025

Conversation

bakkot
Copy link
Contributor

@bakkot bakkot commented May 14, 2025

All other callsites are annotated properly, we just missed this one. Tooling doesn't handle concrete methods very well currently which is why it's not caught automatically.

Copy link
Member

@linusg linusg left a comment

Choose a reason for hiding this comment

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

Checked two engine implementations and they already assert a normal completion for this.

@michaelficarra michaelficarra added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Jun 26, 2025
@ljharb ljharb force-pushed the arg-getter-completion branch from 38c6ae9 to c8fe69b Compare June 27, 2025 06:00
@ljharb ljharb merged commit c8fe69b into main Jun 27, 2025
8 checks passed
@ljharb ljharb deleted the arg-getter-completion branch June 27, 2025 06:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready to merge Editors believe this PR needs no further reviews, and is ready to land.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants