--- /dev/null
+-------- @implements E --------
+empty interface type E
+
+-------- @implements F --------
+interface type F
+ is implemented by pointer type *C
+ is implemented by struct type D
+ is implemented by interface type FG
+
+-------- @implements FG --------
+interface type FG
+ is implemented by pointer type *D
+ implements F
+
+-------- @implements slice --------
+slice type []int implements only interface{}
+
+-------- @implements C --------
+pointer type *C
+ implements F
+
+-------- @implements starC --------
+pointer type *C
+ implements F
+
+-------- @implements D --------
+struct type D
+ implements F
+pointer type *D
+ implements FG
+
+-------- @implements starD --------
+pointer type *D
+ implements F
+ implements FG
+
+-------- @implements sorter --------
+slice type sorter
+ implements lib.Sorter
+
+-------- @implements I --------
+interface type I
+ is implemented by basic type lib.Type
+
+-------- @implements var_d --------
+struct type D
+ implements F
+pointer type *D
+ implements FG
+