何とは言わないけど、Unsafe Rustはinsta-UBな操作の多さの面では他の言語と比べてもむしろ足元を撃ち抜きやすい側面もあるのでは。型システムによる補助を当てにして例えばLLVM IR上で参照に片端から`noalias`を付けたりしているわけだし
何とは言わないけど、Unsafe Rustはinsta-UBな操作の多さの面では他の言語と比べてもむしろ足元を撃ち抜きやすい側面もあるのでは。型システムによる補助を当てにして例えばLLVM IR上で参照に片端から`noalias`を付けたりしているわけだし