@@ -132,7 +132,6 @@ instance
132 , GHasKey' field (Rep s) a
132 , GHasKey' field (Rep s) a
133 ) => HasField' field s a where
133 ) => HasField' field s a where
134 field' f s = VL.ravel (repLens . gkey @field) f s
134 field' f s = VL.ravel (repLens . gkey @field) f s
135− {-# INLINE field' #-}
137instance -- see Note [Changing type parameters]
136instance -- see Note [Changing type parameters]
138 ( Generic s
137 ( Generic s
@@ -155,7 +154,6 @@ instance -- see Note [Changing type parameters]
155 , s ~ Infer t b' a
154 , s ~ Infer t b' a
156 ) => HasField field s t a b where
155 ) => HasField field s t a b where
157 field f s = VL.ravel (repLens . gkey @field) f s
156 field f s = VL.ravel (repLens . gkey @field) f s
158− {-# INLINE field #-}
160-- -- See Note [Uncluttering type signatures]
158-- -- See Note [Uncluttering type signatures]
161instance {-# OVERLAPPING #-} HasField f (Void1 a) (Void1 b) a b where
159instance {-# OVERLAPPING #-} HasField f (Void1 a) (Void1 b) a b where