>>467
違います!
答えのリンク貼っておきますね!
全部読むの面倒なら、コード例見るだけで分かると思います!

https://stackoverflow.com/questions/9868577/how-to-comprehend-the-variable-does-not-participate-in-invariants-with-other-st