Rustの場合、DRCを通ればバグが無いことが保証される。