No ShadowedTypeVar is raised for member type vars shadowing class vars #2140

-- @shouldWarnWith ShadowedTypeVar
module Main where

class Test a where
  f :: (forall a. a -> a) -> a -> a