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.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |