[Type/Heap] conforming to type semantic.