--- /dev/null
+// true # used by embed1.go
+
+// 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 p
+
+type T int
+func (t T) m() {}
+
+type I interface { m() }
+type J interface { I; }
+
+func main() {
+ var i I;
+ var j J;
+ var t T;
+ i = t;
+ j = t;
+ _ = i;
+ _ = j;
+ i = j;
+ _ = i;
+ j = i;
+ _ = j;
+}