--- /dev/null
+package main
+
+// Tests of 'pointsto' queries, -format=json.
+// See go.tools/guru/guru_test.go for explanation.
+// See pointsto-json.golden for expected query results.
+
+func main() { //
+ var s struct{ x [3]int }
+ p := &s.x[0] // @pointsto val-p "p"
+ _ = p
+
+ var i I = C(0)
+ if i == nil {
+ i = new(D)
+ }
+ print(i) // @pointsto val-i "\\bi\\b"
+}
+
+type I interface {
+ f()
+}
+
+type C int
+type D struct{}
+
+func (c C) f() {}
+func (d *D) f() {}