1// +build ignore
2
3package main
4
5var unknown bool
6
7type S string
8
9func incr(x int) int { return x + 1 }
10
11func main() {
12	var i interface{}
13	i = 1
14	if unknown {
15		i = S("foo")
16	}
17	if unknown {
18		i = (func(int, int))(nil) // NB type compares equal to that below.
19	}
20	// Look, the test harness can handle equal-but-not-String-equal
21	// types because we parse types and using a typemap.
22	if unknown {
23		i = (func(x int, y int))(nil)
24	}
25	if unknown {
26		i = incr
27	}
28	print(i) // @types int | S | func(int, int) | func(int) int
29
30	// NB, an interface may never directly alias any global
31	// labels, even though it may contain pointers that do.
32	print(i)                 // @pointsto makeinterface:func(x int) int | makeinterface:func(x int, y int) | makeinterface:func(int, int) | makeinterface:int | makeinterface:main.S
33	print(i.(func(int) int)) // @pointsto main.incr
34
35	print() // regression test for crash
36}
37