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