instantiation-expression-instantiated-type

Available in: KerML, SysML

This checks that instantiation expressions have an instantiated type.

This is impossible to trigger through textual syntax.