Skip to content

Don't use substTyUnchecked in newMetaTyVar

sheaf requested to merge sheaf/ghc:newMetaTyVar-checked into master

There were some comments that explained that we needed to use an unchecked substitution function because of issue #12931 (closed), but that has since been fixed, so we should be able to use substTy instead now.

Merge request reports