Here's the code:
Loading Gist d1375358582079e8d2f9bf09e33017e5...
As it is, the test passes. If you extract the indicated block, then the test fails. Extract Method should add a `
ref` to the parameter on the new method.This repros with VS2013, VS2015, and ReSharper 8, 9, and 10.
3 comments:
Wow... that's subtle.
I'm assuming that the failure is that value is 0 when the `Assert` on line 14 executes. Is that correct?
I'm also guessing that this is the simplest way to reproduce this issue. Can you talk more about the scenario that lead you to discover this edge case?
I wouldn't have expected that to result in a failure. What do you think the solution is? One thing I can think of is to have the refactoring engine examine whether or not the variable has been passed by reference in the current scope, which would have to include the variable getting used by a closure.
I made it even simpler by removing the Increment() method.
Yep, you assume correctly.
A coworker discovered this some time ago, in real code, and then we whittled it down to this simple example.
My understanding is that VS2005-VS2013 couldn't detect this case, but that VS2015 (Roslyn) does detect it, and that in prerelease builds it inserted the 'ref', but they got user feedback that it noisy, so they deliberately turned it off.
Post a Comment