| Test of references applied to concrete and interface types that are |
| related by assignability. The result includes references to both. |
| |
| -- go.mod -- |
| module example.com |
| go 1.12 |
| |
| -- a/a.go -- |
| package a |
| |
| type first interface { |
| common() //@loc(firCommon, "common"), refs("common", firCommon, xCommon, zCommon) |
| firstMethod() //@loc(firMethod, "firstMethod"), refs("firstMethod", firMethod, xfMethod, zfMethod) |
| } |
| |
| type second interface { |
| common() //@loc(secCommon, "common"), refs("common", secCommon, yCommon, zCommon) |
| secondMethod() //@loc(secMethod, "secondMethod"), refs("secondMethod", secMethod, ysMethod, zsMethod) |
| } |
| |
| type s struct {} |
| |
| func (*s) common() {} //@loc(sCommon, "common"), refs("common", sCommon, xCommon, yCommon, zCommon) |
| |
| func (*s) firstMethod() {} //@loc(sfMethod, "firstMethod"), refs("firstMethod", sfMethod, xfMethod, zfMethod) |
| |
| func (*s) secondMethod() {} //@loc(ssMethod, "secondMethod"), refs("secondMethod", ssMethod, ysMethod, zsMethod) |
| |
| func main() { |
| var x first = &s{} |
| var y second = &s{} |
| |
| x.common() //@loc(xCommon, "common"), refs("common", firCommon, xCommon, zCommon) |
| x.firstMethod() //@loc(xfMethod, "firstMethod"), refs("firstMethod", firMethod, xfMethod, zfMethod) |
| y.common() //@loc(yCommon, "common"), refs("common", secCommon, yCommon, zCommon) |
| y.secondMethod() //@loc(ysMethod, "secondMethod"), refs("secondMethod", secMethod, ysMethod, zsMethod) |
| |
| var z *s = &s{} |
| z.firstMethod() //@loc(zfMethod, "firstMethod"), refs("firstMethod", sfMethod, xfMethod, zfMethod) |
| z.secondMethod() //@loc(zsMethod, "secondMethod"), refs("secondMethod", ssMethod, ysMethod, zsMethod) |
| z.common() //@loc(zCommon, "common"), refs("common", sCommon, xCommon, yCommon, zCommon) |
| } |
