# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 9a8ba470c98263e7b6871ca4079acd30e347b2d4532f5a481aae7eb78e6f3994 # shrinks to (ty, val) = (ProductType { elements: [ProductTypeElement { name: None, algebraic_type: Product(ProductType { elements: [ProductTypeElement { name: None, algebraic_type: Product(ProductType { elements: [] }) }, ProductTypeElement { name: None, algebraic_type: Builtin(U32) }, ProductTypeElement { name: None, algebraic_type: Builtin(U16) }, ProductTypeElement { name: None, algebraic_type: Product(ProductType { elements: [] }) }, ProductTypeElement { name: None, algebraic_type: Builtin(U128) }, ProductTypeElement { name: None, algebraic_type: Builtin(U16) }, ProductTypeElement { name: None, algebraic_type: Builtin(I8) }, ProductTypeElement { name: None, algebraic_type: Product(ProductType { elements: [] }) }, ProductTypeElement { name: None, algebraic_type: Builtin(F32) }, ProductTypeElement { name: None, algebraic_type: Builtin(String) }] }) }, ProductTypeElement { name: None, algebraic_type: Builtin(U8) }, ProductTypeElement { name: None, algebraic_type: Builtin(Array(ArrayType { elem_ty: Builtin(U32) })) }, ProductTypeElement { name: None, algebraic_type: Builtin(Array(ArrayType { elem_ty: Builtin(String) })) }, ProductTypeElement { name: None, algebraic_type: Builtin(U32) }] }, ProductValue { elements: [Product(ProductValue { elements: [Product(ProductValue { elements: [] }), U32(0), U16(0), Product(ProductValue { elements: [] }), U128(13840125084752990830451071514702880), U16(45599), I8(52), Product(ProductValue { elements: [] }), F32(Total(2.022854e37)), String("֎𞹹PȺM?𞅏.{<B.🕴'.ȺwIﬖn<\"{🮪🕴``<�𝒞%ⁱ")] }), U8(110), Array([2056746203, 181477477, 526438060, 4180078969, 974951910, 3532798473, 1277693402, 1404482362, 1853186792, 342656873]), Array(["?\\%^ଢ଼", "ຄ", "מּ"]), U32(247955447)] })
