testsuite/tests/rename/should_fail/T14307.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE NamedFieldPuns #-}

module T14307 where

data A = A { field :: Int }
data B = B { field :: Int }

f :: B -> Int
f (C { field }) = field