Given a pattern result with an unresolved type, see if we can find one instruction with an unresolved result type. Force this result type to an arbitrary element if it's possible types to converge results.
source not stored for this graph (policy: none)
no test coverage detected