ApplyTypeConstraint - Given a node in a pattern, apply this type constraint to the nodes operands. This returns true if it makes a change, false otherwise. If a type contradiction is found, flag an error.
source not stored for this graph (policy: none)
no test coverage detected