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.
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
Infer purity when using the Lock Checker #5343
Infer purity when using the Lock Checker #5343
Changes from all commits
79f6aee
c81cd8a
0205a57
82ad20d
61f8428
5d0009f
485ea82
64a5205
24daa98
57a5022
2cf1967
979221e
8cafd5f
147c207
95ecff5
bfe0b5c
b6ea009
b2f4641
389ae02
d1ae162
2f297cc
666efda
9bb9b41
16639bf
344dbac
f32f8fa
e5be130
fd5cb17
97c27c7
17a3154
8e5c74c
6cdf398
2cdfbd3
b5ed6e7
cc4f635
b9aacf7
8e725ad
bd0d5bd
db0be59
5e9a80b
97217b6
5cf0fff
acddc03
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing