I don&#x27;t know if that would alleviate the authors concern, because (as I understand that proposal) the type information is still present, it&#x27;s just bolted into the load&#x2F;store&#x2F;GEP instructions now.<p>Nothing is stopping you from writing LLVM that doesn&#x27;t use types though! That&#x27;s entirely a front end decision. If you wanted to, in your front end, you could never emit record or array types and do book keeping on cells in memory entirely on your own using pointer arithmetic &#x2F; pointertoint &#x2F; inttopointer. Doing so is entirely at the expense of the speed of the generated code though!