| Test of 'implementation' query on generic methods, which don't | |
| participate in interface satisfaction. | |
| Test same-package and cross-package cases, | |
| since they use different logic. | |
| -- flags -- | |
| -min_go=go1.27 | |
| -- go.mod -- | |
| module example.com | |
| go 1.27 | |
| -- a/a.go -- | |
| package a | |
| type C struct{} | |
| func (C) F[T any](T) {} //@ implementation("F") | |
| type I interface { | |
| F(int) | |
| } | |
| func _[T C]() { | |
| var _ T //@ implementation("T") | |
| } | |
| -- b/a.go -- | |
| package a | |
| type I interface { | |
| F(int) | |
| } |