(diagnostic
  (schema slovo.diagnostic)
  (version 1)
  (severity error)
  (code UnsafeRequired)
  (message "unsafe operation `dealloc` requires an `unsafe` block")
  (file "<fixture>")
  (span
    (bytes 37 50)
    (range 5 3 5 16)
  )
  (hint "wrap the operation in `(unsafe ...)`")
  (related
    (span
      (file "<fixture>")
      (bytes 38 45)
      (range 5 4 5 11)
      (message "unsafe operation head")
    )
  )
)