MergeInTypeInfo - This merges in type information from the specified argument. If 'this' changes, it returns true. If the two types are contradictory (e.g. merge f32 into i32) then this flags an error.
source not stored for this graph (policy: none)
no test coverage detected