1// Copyright 2011 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file
4
5package main
6
7import (
8	"./p"
9)
10
11type T struct{ *p.S }
12type I interface {
13	get()
14}
15
16func main() {
17	var t T
18	p.F(t)
19	var x interface{} = t
20	_, ok := x.(I)
21	if ok {
22		panic("should not satisfy main.I")
23	}
24	_, ok = x.(p.I)
25	if !ok {
26		panic("should satisfy p.I")
27	}
28}
29