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.095dev (2025-08-15 12:02:22 GIT hash 301b5b75e77076d091b38f555473f9f0e31e5b5c 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.