Christophe: > That is very consistent, so I don't think this > should be considered as a bug. There may be an improvement to ask to > make the compiler able to check when the cast to immutable is safe, but > I don't think there is a bug.
The compiler already performs such checks, in this case it answers "no" and I don't understand why, I think it's not the right answer. > You would need to have pure delegates to have a real effect, wouldn't > you ? The compiler is already able to infer delegate purity, I think. Bye, bearophile