Fix assertion failures reported in #16533
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.