Fast type checking for heap types #17
Description
Type-checking -- specifically, checking whether a given type has a particular memory layout -- is currently hard to do for heap types.
{{ message }}
Type-checking -- specifically, checking whether a given type has a particular memory layout -- is currently hard to do for heap types.