Annotate lock-protected fields with checklocks
ghananigans opened this issue · comments
Now that we have the checklocks analyzer, we should annotate values that are lock-protected with an appropriate checklocks attribute.
@ghanan94 Hi, I'm new to the community. Does this issue need a prior knowledge on this project? Or is it ok me to take up this issue?
Thanks !!
@ghanan94 Is this resolved?
A friendly reminder that this issue had no activity for 120 days.
Addressed in #7315