Regression example.com for #65024, "incorrect package qualification when
stubbing method in v2 module".

The second test (a-a) ensures that we don't use path-based heuristics
to guess the PkgName of an import.

-- a/v2/go.mod --
module example.com/a/v2
go 1.18

-- a/v2/a.go --
package a

type I interface { F() T }

type T struct {}

-- a/v2/b/b.go --
package b

import "example.com/a/v2"

type B struct{}

var _ a.I = &B{} //@ quickfix("&B{}", re"does not implement", out)

// This line makes the diff tidier.

-- @out/a/v2/b/b.go --
@@ -7 +7,5 @@
+// F implements a.I.
+func (b *B) F() a.T {
+	panic("unimplemented")
+}
+
@@ -10 +15 @@
-
-- a-a/v2/go.mod --
// This module has a hyphenated name--how posh.
// It won't do to use it as an identifier.
// The correct name is the one in the package decl,
// which in this case is not what the path heuristic would guess.
module example.com/a-a/v2
go 1.18

-- a-a/v2/a.go --
package a
type I interface { F() T }
type T struct {}

-- a-a/v2/b/b.go --
package b

// Note: no existing import of a.

type B struct{}

var _ I = &B{} //@ quickfix("&B{}", re"does not implement", out2)

// This line makes the diff tidier.

-- a-a/v2/b/import-a-I.go --
package b
import "example.com/a-a/v2"
type I = a.I

-- @out2/a-a/v2/b/b.go --
@@ -3 +3,2 @@
+import a "example.com/a-a/v2"
+
@@ -7 +9,5 @@
+// F implements a.I.
+func (b *B) F() a.T {
+	panic("unimplemented")
+}
+
@@ -10 +17 @@
-
