I've deleted that comment (it was incorrect). The issue turns out to be an interaction between the JsInliner and JsObfuscateNamer. The issue is with how JsInliner manages the scope for names that are hoisted to new scopes via inlining. This fix solves the test-cases provided in the original issue (and duplicate issues).
http://gwt-code-reviews.appspot.com/1472803/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
