Fix a TR bug for row polymorphic application

The domains in a row polymorphic function weren't checked
properly when row inference was used.