# 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?𞅏.{