The syntax for shadow sources allows for facts to be referenced, to allow for reaching variables transitively. However, it also allows for the expression to resolve to a fact. This should fail fast, as there is no practical reason to introduce such a declaration.
Example:
variable.fact.variable is a valid expression.
variable.fact fails fast.
The syntax for shadow sources allows for facts to be referenced, to allow for reaching variables transitively. However, it also allows for the expression to resolve to a fact. This should fail fast, as there is no practical reason to introduce such a declaration.
Example:
variable.fact.variableis a valid expression.variable.factfails fast.