Commits
Joe Groff committed 2cf7f18f111
Rework function conversion logic for propagating ExtInfo. The desired ExtInfo here is not a clean derivation from either the source or destination ExtInfo anymore, so it's clearer and more maintainable to construct a new EI from whole cloth. Response to @jrose-apple's code review.