Skip to content

Suggest ScopedTypeVariables on forall syntax

More often I find myself wanting to enable ScopedTypeVariables, not RankNTypes.

Merge request reports