feature-reference-expression-referent-is-feature

Available in: KerML, SysML

This checks that the referent of feature reference expression is a feature.

This is impossible to trigger through textual syntax as any non-feature references would fail to resolve.

Specification

The first owned_membership of a FeatureReferenceExpression that is not a ParameterMembership must have a Feature as its member_element.