Re: Failing to GC killed buffers considered harmful

[Stefan Monnier]

> Another idea is to avoid dumping such buffers.  But I couldn't find a
> facility for doing that safely; simply having dump_buffer return
> causes an assertion violation later:

Could we try and write out buffers such that they are read back as
something else (e.g. a special record with type `dead-dumped-buffer`)?


        Stefan