Lock interface as well
as the File interface.
-An interface may contain an interface type name T
+An interface may use an interface type name T
in place of a method specification.
-The effect is equivalent to enumerating the methods of T explicitly
+The effect, called embedding an interface,
+is equivalent to enumerating the methods of T explicitly
in the interface.
+An interface definition for type T may not embed itself,
+nor any interface type that embeds T directly or indirectly.
+
+// illegal: Bad cannot embed itself
+type Bad interface {
+ Bad
+}
+
+// illegal: Bad1 cannot embed itself using Bad2
+type Bad1 interface {
+ Bad2
+}
+type Bad2 interface {
+ Bad1
+}
+
+