In PROPAGATE-LET-ARGS, propagate the arg type to the refs before
substituting rather than after, since after substituting, there are no refs to propagate to.
Please register or sign in to comment
substituting rather than after, since after substituting, there are no refs to propagate to.