// $G $D/embed0.go && $G $D/$F.go && $L $F.$A && ./$A.out

// Copyright 2009 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Check that embedded interface types can have local methods.

package main

import "./embed0"

type T int
func (t T) m() {}

type I interface { m() }
type J interface { I }

type PI interface { p.I }
type PJ interface { p.J }

func main() {
	var i I
	var j J
	var t T
	i = t
	j = t
	_ = i
	_ = j
	i = j
	_ = i
	j = i
	_ = j
	var pi PI
	var pj PJ
	var pt p.T
	pi = pt
	pj = pt
	_ = pi
	_ = pj
	pi = pj
	_ = pi
	pj = pi
	_ = pj
}
