-
Notifications
You must be signed in to change notification settings - Fork 257
[query] Use SourcePos for implicit timing context
#14732
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
Closed
Closed
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This was referenced Oct 17, 2024
Member
Author
This stack of pull requests is managed by Graphite. Learn more about stacking. |
af28777 to
9cf65a9
Compare
b61317e to
88039df
Compare
9cf65a9 to
40d15ac
Compare
88039df to
66dd57c
Compare
40d15ac to
6444467
Compare
66dd57c to
7930531
Compare
6444467 to
c7a2fad
Compare
7930531 to
137df84
Compare
f202960 to
3d152ee
Compare
137df84 to
9e574f9
Compare
3d152ee to
ad21862
Compare
9e574f9 to
65d916c
Compare
ad21862 to
5273bcc
Compare
65d916c to
321799f
Compare
5273bcc to
9eff0d9
Compare
321799f to
50c99e3
Compare
9eff0d9 to
dc81f7b
Compare
50c99e3 to
24109f9
Compare
dc81f7b to
f1165cb
Compare
24109f9 to
d929abe
Compare
f1165cb to
70d2769
Compare
d929abe to
100c354
Compare
This was referenced Dec 5, 2024
This was referenced Jul 17, 2025
This was referenced Sep 16, 2025
This was referenced Sep 23, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.

Change Description
Fixes #<issue_number> (delete if N/A)
Brief description and justification of what this PR is doing.
Security Assessment
Delete all except the correct answer:
Impact Description
For none/low impact: a quick one/two sentence justification of the rating.
For medium/high impact: provide a description of the impact and the mitigations in place.
(Reviewers: please confirm the security impact before approving)