Redefining this to return `false` helps to detect unexpected calls to `abort` at runtime and ensure that the static analysis finds that the code executed with this effect will always return normally and produce a result. This is used, e.g, in `mutate` to avoid static analysis reporting `panic` as an effect of the use of a local mutate instance.
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)
Redefining this to return `false` helps to detect unexpected calls to
`abort` at runtime and ensure that the static analysis finds that the
code executed with this effect will always return normally and produce
a result. This is used, e.g, in `mutate` to avoid static analysis
reporting `panic` as an effect of the use of a local mutate instance.