Fix `typecheck-fail` in TR

Closes PR 14449