path: root/testsuite/tests/simplCore/should_compile/T5366.hs

module T5366 where

newtype Id a = Id Int
data Foo = Foo {-# UNPACK #-} !(Id Foo) String
data Bar = Bar {-# UNPACK #-} !Foo

f :: Bar -> Int
f (Bar (Foo (Id x) _)) = x