PR71206: inconsistent types after match.pd transformation