GO语言IDE JetBrains的Gogland 1.0 EAP版，编辑器在识别类型实现接口的时候有BUG吗？

如下图，编辑器中报错，代码缺正确执行了。