unsafe-example.txt

   1 struct InsnBytecode {
   2     // unsafety:
   3     //  the instruction executor assumes that:
   4     //    c is a valid regnum
   5 ...
   6     c : BytecodeValue,
   7 ...
   8
   9         unsafe {
  10             *regs.offset(c as isize) = r;
  11         }