A reference like `&int` should be marked as read-only in the LLVM IR.
A reference like
&intshould be marked as read-only in the LLVM IR.