//cc @bcmills @matloob

Change https://go.dev/cl/394054 mentions this issue: internal/lsp/lsprpc: resolve GOWORK real path when getting go envs

I would expect GOWORK=$(go env GOWORK) here to be a no-op without side effects.

It should be, provided that you run go env GOWORK with the same value of PWD. If you set GOWORK and PWD to use two different names for the same directory, then one of them has to win out.

This doesn't look like a cmd/go bug to me.

Apologies, I should have explained that better. Another example (in linux, for readability):

$ cd /tmp && mkdir -p real/mymod
$ ln -s real symlink
$ cd symlink/mymod && go mod init mymod
$ pushd .. && go work init mymod/ && popd

Now from /tmp/symlink:

Plain go list uses /tmp/symlink (as I expected)

$ go list -json mymod/... | jq .Module
{
  "Path": "mymod",
  "Main": true,
  "Dir": "/tmp/symlink/mymod",
  "GoMod": "/tmp/symlink/mymod/go.mod",
  "GoVersion": "1.19"
}

Setting PWD to the real path makes go list use /tmp/real (also expected):

$ PWD=/tmp/real/mymod go list -json mymod/... | jq .Module
{
  "Path": "mymod",
  "Main": true,
  "Dir": "/tmp/real/mymod",
  "GoMod": "/tmp/real/mymod/go.mod",
  "GoVersion": "1.19"
}

Setting both PWD to the real path and an explicit GOMOD (to the symlink) also makes go list use PWD (expected):

$ PWD=/tmp/real/mymod GOMOD=/tmp/symlink/mymod/go.mod go list -json mymod/... | jq .Module
{
  "Path": "mymod",
  "Main": true,
  "Dir": "/tmp/real/mymod",
  "GoMod": "/tmp/real/mymod/go.mod",
  "GoVersion": "1.19"
}

But setting GOWORK changes the behavior and PWD is ignored. When you say that:

one of them has to win out.

I would expect PWD to win, as it does when I set GOMOD explicitly in the example above.

$ PWD=/tmp/real/mymod GOWORK=/tmp/symlink/go.work go list -json mymod/... | jq .Module
{
  "Path": "mymod",
  "Main": true,
  "Dir": "/tmp/symlink/mymod",
  "GoMod": "/tmp/symlink/mymod/go.mod",
  "GoVersion": "1.19"
}

Setting GOMOD has no effect at all; see #51217.

Gotcha, I incorrectly assumed that you could set GOMOD. Regardless of that I still expect PWD to have the same effect on module/package file paths even when GOWORK is explicitly set.

The current situation, if I understand it correctly, is that paths is shown based on the use-directive in "go.work-mode". And that path can be relative such as the example above use ./mymod.

The difference between setting GOWORK explicitly and letting cmd/go infer GOWORK is that in one case PWD will affect the result, while in the other case it won't.

The difference you're seeing is that when PWD is set, the inferred value of GOWORK reflects that setting. If you explicitly set GOWORK=$(PWD=… go env GOWORK), you should find that the result is consistent with setting PWD to that value for other commands.

Yeah, I understand that the inferred value of GOWORK depends on PWD.

The part that seems odd is that directories provided by go list -json depends on PWD unless GOWORK is set.

Ok, just to make sure I understand how this suppose to work:

• Directories returned by go list -json is evaluated by looking at the use-directive in go.work (in go.work-mode obviously).
• If the use-directive is a relative path then the absolute path will be evaluated by looking at the directory part of GOWORK.
• Setting PWD will alter how GOWORK is inferred, unless is explicitly set.

Am I missing something?

Yes, that's exactly it. When you set PWD without GOWORK, it changes the inferred GOWORK, which in turn changes all of the paths computed relative to that.

When you set GOWORK explicitly, you override the inferred GOWORK, which changes all of the paths derived from it.

Adding this to the Go 1.19 milestone until we can understand what the desired behavior is and what we should do about it (I didn't fully follow the conversation, but I also only skimmed it). Feel free to move it.

I don't think there is anything to change here. The go command is correctly interpreting the current directory per PWD, and is correctly interpolating GOWORK relative to PWD.

If GOWORK is correctly set to a value that matches PWD, then everything lines up. If PWD is changed to no longer match GOWORK, then GOWORK must win, or else the command would fail entirely because the requested packages aren't lexically inside the workspace. (The latter seems strictly worse than the former.)

Overall, my advice is: keep PWD consistent with whatever the user set it to, and don't mess with it otherwise. (When changing to a relative directory, set PWD relative to the previous PWD.)