One of the changes suggested to my patch in https://bugs.webkit.org/show_bug.cgi?id=79252 was to replace an explicit cast plus a delete by a plain delete that takes a void* as argument. The problem of that approach is that the delete frees the object's memory but does not invoke the destructor, something that is a must for us.
Created attachment 128690 [details] Patch
Comment on attachment 128690 [details] Patch Clearing flags on attachment: 128690 Committed r108760: <http://trac.webkit.org/changeset/108760>
All reviewed patches have been landed. Closing bug.