JetBrains Plugin - Recursive Definition Inspection

[BFergerson]

define

    a sub entity,
        has a;

The above definition is valid syntactically but invalid semantically.

[flyingsilverfin]

What's the goal of this issue @BFergerson ? A syntax highlighter/handler generally doesn't catch semantic errors, right?

[BFergerson]

JetBrains goes far beyond syntax. Why not implement that functionality?