Open Bug 972403 Opened 8 years ago Updated 7 years ago
Add opaque() method that converts a *type descriptor* into an opaque type descriptor
The typed object spec includes an opaque() method on type descriptors that can convert a transparent type descriptor into an opaque one. Opaque type descriptors are potentially more optimizable since they enforce stricter alignment and aliasing restrictions, because instances thereof can never be reinterpret casted into other types (moreover, an opaque type descriptor cannot be instantiated atop an arbitrary buffer). Note: this is distinct from bug 972400, which refers to an opaque() function on individual *typed objects*, not the descriptors.
You need to log in before you can comment on or make changes to this bug.