Skip to content

Fix assertion failures reported in #16533

Krzysztof Gogolewski requested to merge wip/T16533 into master

This fixes failures when compiling stage2 with debug build.

NB: the patch fixes the failures by removing the ASSERT, specifically by using substTyUnchecked instead of substTy in four places. Which is hardly satisfactory; but there are other uses of substTyUnchecked too.

Edited by Simon Peyton Jones

Merge request reports