Don't use substTyUnchecked in newMetaTyVar
There were some comments that explained that we needed to use an unchecked substitution function because of issue #12931, but that has since been fixed, so we should be able to use substTy instead now.
Loading
Please register or sign in to comment