Comment 4 for bug 634561

And the inter-procedural analysis should be able to determine that the Key accessor (when setting) does a 'this.Key = key' and thus the analysis (as I said!) is flawed.

Please don't change bug status.