th.txt

-- addDependentFile test-artefacts/headers/golden/macros/redeclaration/variadic.h
{-| __C declaration:__ @T@

    __defined at:__ @macros\/redeclaration\/variadic.h 7:24@

    __exported by:__ @macros\/redeclaration\/variadic.h@
-}
newtype T
    = T {unwrapT :: CInt}
    deriving stock (Eq, Generic, Ord, Read, Show)
    deriving newtype (Bitfield,
                      Bits,
                      Bounded,
                      Enum,
                      FiniteBits,
                      HasFFIType,
                      Integral,
                      Ix,
                      Num,
                      Prim,
                      ReadRaw,
                      Real,
                      StaticSize,
                      Storable,
                      WriteRaw)
instance (~) ty CInt => HasField "unwrapT" T ty
    where hasField = \x_0 -> (\y_1 -> T{unwrapT = y_1},
                              getField @"unwrapT" x_0)
instance (~) ty CInt => HasField "unwrapT" (Ptr T) (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapT")
instance HasCField T "unwrapT"
    where type CFieldType T "unwrapT" = CInt
          offset# = \_ -> \_ -> 0