tests/source-extension/SameName.goal

package annotator.tests;

public class SameName {
  void m() {
    if (5==6) {
      Object a = null;
    } else {
      @java.lang.UnderInitialization Object a = null;
    }
  }
}