Skip to content

Make the forall-or-nothing rule only apply to invisible foralls (#18660)

Ryan Scott requested to merge wip/T18660 into master

This fixes #18660 (closed) by changing isLHsForAllTy to isLHsInvisForAllTy, which is sufficient to make the forall-or-nothing rule only apply to invisible foralls. I also updated some related documentation and Notes while I was in the neighborhood.

Merge request reports