Embed Notice

31:15 - The witness functions are also passed a pointer to the witness table, which enables default implementations to be placed directly in the witness table without being specialized. (This is required in some cases with library evolution.) But that ended up being too busy for such a minor detail on a slide.

Of course, in actual C code, they also require calling-convention attributes like the closure example above.