[Diagnostics] Detect and diagnose type mismatches related to function builder result
Generic requirement failures are already covered but general type
mismatches have to be handled separately.
Resolves: rdar://problem/65413640
(cherry picked from commit 98007904b83a6cc5ef3b8320635c9258972dfcff)