コンパイルが通ればバグが無いことを保証される。