This seems wrong. tc-expr means typecheck and infer a type, tc-expr/check means typecheck given a type. Thus passing in tc-any-results means that we are going to type this expression as tc-any-results which is not what is intended.

Also this is too late because now both tc-expr and tc-expr/check will call add-typeof-expr.