Invalid recursive type allowed

[ghost]

gomacro> type N struct{n N}
gomacro> n := N{n: N{}}
reflect: call of reflect.Value.Type on zero Value
gomacro> n
<nil>   // main.N
gomacro>

https://play.golang.org/p/QxubPiPUpdU

The following illegal recursive type declaration is allowed, too: type N N

The type type N struct{n []N} works in both gomacro and go with same result.

[cosmos72]

True, invalid recursive types should be detected earlier - ideally when the type is defined, not when it's used (and sometimes not even then)