Type fields in a region
mukul-rathi opened this issue · comments
Check all fields in a region have same type.
If the object is read() then ensure that either the fields are const, or that they are safe().
Bolt is a language with in-built data-race freedom!
mukul-rathi opened this issue · comments
Check all fields in a region have same type.
If the object is read() then ensure that either the fields are const, or that they are safe().