tc_infer_args does not set in-scope set correctly
As noted in #12785 (closed)##12931 (closed),
TcHsType.tc_infer_args does not set its in-scope set correctly, which means the call to
TcMType.new_meta_tv_x will fail if
substTyUnchecked is replaced by
substTy in the line
kind = substTyUnchecked subst (tyVarKind tv)
This is the only known caller of
new_meta_tv_x to not set the in-scope set, now that #12549 (closed) has been fixed. Once this bug is fixed, change
substTyUnchecked back to
substTy in the line noted above.
Note that other calls to
substTyUnchecked that need to be converted to
substTy are covered in the general ticket #11371.