| package main |
| |
| import ( |
| p0 "./bug0" |
| p1 "./bug1" |
| |
| "reflect" |
| "strings" |
| ) |
| |
| var v0 p0.T |
| var v1 p1.T |
| |
| type I0 interface { |
| M(p0.T) |
| } |
| |
| type I1 interface { |
| M(p1.T) |
| } |
| |
| type t0 int |
| |
| func (t0) M(p0.T) {} |
| |
| type t1 float64 |
| |
| func (t1) M(p1.T) {} |
| |
| var i0 I0 = t0(0) // ok |
| var i1 I1 = t1(0) // ok |
| |
| var p0i p0.I = t0(0) // ok |
| var p1i p1.I = t1(0) // ok |
| |
| func main() { |
| // check that reflect paths are correct, |
| // meaning that reflect data for v0, v1 didn't get confused. |
| |
| // path is full (rooted) path name. check suffix for gc, prefix for gccgo |
| if s := reflect.TypeOf(v0).PkgPath(); !strings.HasSuffix(s, "/bug0") && !strings.HasPrefix(s, "bug0") { |
| println("bad v0 path", len(s), s) |
| panic("fail") |
| } |
| if s := reflect.TypeOf(v1).PkgPath(); !strings.HasSuffix(s, "/bug1") && !strings.HasPrefix(s, "bug1") { |
| println("bad v1 path", s) |
| panic("fail") |
| } |
| |
| // check that dynamic interface check doesn't get confused |
| var i interface{} = t0(0) |
| if _, ok := i.(I1); ok { |
| println("used t0 as i1") |
| panic("fail") |
| } |
| if _, ok := i.(p1.I); ok { |
| println("used t0 as p1.I") |
| panic("fail") |
| } |
| |
| i = t1(1) |
| if _, ok := i.(I0); ok { |
| println("used t1 as i0") |
| panic("fail") |
| } |
| if _, ok := i.(p0.I); ok { |
| println("used t1 as p0.I") |
| panic("fail") |
| } |
| |
| // check that type switch works. |
| // the worry is that if p0.T and p1.T have the same hash, |
| // the binary search will handle one of them incorrectly. |
| for j := 0; j < 3; j++ { |
| switch j { |
| case 0: |
| i = p0.T{} |
| case 1: |
| i = p1.T{} |
| case 2: |
| i = 3.14 |
| } |
| switch k := i.(type) { |
| case p0.T: |
| if j != 0 { |
| println("type switch p0.T") |
| panic("fail") |
| } |
| case p1.T: |
| if j != 1 { |
| println("type switch p1.T") |
| panic("fail") |
| } |
| default: |
| if j != 2 { |
| println("type switch default", j) |
| panic("fail") |
| } |
| } |
| } |
| } |