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-07-10 15:41:47 GIT hash eafa42ae743de61b62f958948d7abb5fada7756f 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.