Skip to content

Adding a new warning -Wterm-variable-capture.

Rinat Striungis requested to merge Haskell-mouse/ghc:WarningTermVariableCapture into master

This MR introduces a new warning that allows a user to check his code for further compatibility with a proposed extension RequiredTypeArguments introduced in 0281.

The warning highlights implicitly quantified type variables that have a name already used by a term:

a = 42
f :: a -> a

This MR fixes #22513 (closed)

Merge request reports