@@ -203,6 +203,10 @@ t_decode_with_error4' =
203203 case E.streamDecodeUtf8With (\_ _ -> Just 'x') (B.pack [0xC2, 97, 97, 97]) of
204204 E.Some x _ _ -> x === "xaaa"
205205
206+t_infix_concat bs1 text bs2 rep =
207+ text `T.isInfixOf`
208+ E.decodeUtf8With (\_ _ -> rep) (B.concat [bs1, E.encodeUtf8 text, bs2])
209+
206210s_Eq s = (s==) `eq` ((S.streamList s==) . S.streamList)
207211 where _types = s :: String
208212sf_Eq p s =
@@ -985,7 +989,8 @@ tests =
985989 testProperty "t_decode_with_error4" t_decode_with_error4,
986990 testProperty "t_decode_with_error2'" t_decode_with_error2',
987991 testProperty "t_decode_with_error3'" t_decode_with_error3',
988− testProperty "t_decode_with_error4'" t_decode_with_error4'
992+ testProperty "t_decode_with_error4'" t_decode_with_error4',
993+ testProperty "t_infix_concat" t_infix_concat
989994 ]
990995 ],
991996