22 lines
434 B
Plaintext
22 lines
434 B
Plaintext
(diagnostic
|
|
(schema slovo.diagnostic)
|
|
(version 1)
|
|
(severity error)
|
|
(code UnsafeRequired)
|
|
(message "unsafe operation `unchecked_index` requires an `unsafe` block")
|
|
(file "<fixture>")
|
|
(span
|
|
(bytes 37 58)
|
|
(range 5 3 5 24)
|
|
)
|
|
(hint "wrap the operation in `(unsafe ...)`")
|
|
(related
|
|
(span
|
|
(file "<fixture>")
|
|
(bytes 38 53)
|
|
(range 5 4 5 19)
|
|
(message "unsafe operation head")
|
|
)
|
|
)
|
|
)
|