| -- go.mod -- | |
| module example.com | |
| go 1.27 | |
| -- a/a.go -- | |
| package main | |
| type C struct{} | |
| func (C) Foo[T any]() { f() } | |
| func f() {} | |
| func main() { | |
| var c C | |
| c.Foo[int]() | |
| c.Foo[string]() | |
| } | |
| // WANT: | |
| // | |
| // edge main --static method call--> (C).Foo[int] | |
| // edge main --static method call--> (C).Foo[string] | |
| // edge (C).Foo[string] --static function call--> f | |
| // edge (C).Foo[int] --static function call--> f | |
| // | |
| // reachable (C).Foo[int] | |
| // reachable (C).Foo[string] | |
| // reachable f | |
| // reachable init | |
| // reachable main |