arbiter/server/rules/safecell/write-inline.yaml

id: safecell-write-inline
language: Rust
rule:
  pattern: |
    {
        let mut $WRITE = $CELL.write();
        $$$BODY
    }
fix: 
  template: | 
    $CELL.write_inline(|$WRITE| { 
      $$$BODY 
    });