testsuite/tests/rename/should_compile/T12533.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE ScopedTypeVariables, DefaultSignatures #-}

module T12533 where

class Foo x where
  foo :: forall a . x a -> x a
  default foo :: forall a . x a -> x a
  foo x = go
    where go :: x a
          go = undefined