@Contract(pure = true)
  public static @NotNull GlobalSearchScope moduleScope(@NotNull Module module) {
    return module.getModuleScope();
  }
@Contract(pure = true)
  public static @NotNull GlobalSearchScope moduleScope(@NotNull Module module)