[TypeCheckEffects] AbstractFunction: Parameter types should be mapped into context
Parameter type could be represented by an associated type which is
bound to a concrete type by an extension, `AbstractFunction::getType()`
should map it into context before returning because the construct is
that it always produces a function type.
Resolves: rdar://156955193
(cherry picked from commit 32b97d0e2ad67f66cadc77373d39a2f841b5c637)
(cherry picked from commit 7f652915d9115202172b5cf2478a4cfb2a73f919)