This moves the call to tcSubType into the context of the
checkInstConstraints call, allowing the deferred type error
somewhere to hang its hat.