We should explain in docs for wgpuInstanceProcessEvents that it is only needed for AllowProcessEvents callbacks (that aren't waited), or in other words, you don't need it if every future either is waited or has AllowSpontaneous.
(Which led me to another question: is it fine if my app never calls wgpuInstanceProcessEvents or wgpuDeviceTick? If it is not, when should they be called?)
Originally posted by @zcbenz in #491 (comment)