# 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 9be25b195ef2868cdc542ab25720d071a404463e631a1580fcda36da6e364213 # shrinks to a = Union([NoneType, Intersection([Bool])]), b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }
cc 1f95fa3523cd491eb6005a60f9716e35fc65e7f76ac32d3e62fccfe919b47634 # shrinks to a = Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(NoneType) } }, constraints: [MaxLen(0)] }, b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Nothing) } }
cc 20597015218dd01669b0fd8b37a43f81871f9b089c8870f3342e1658577f6659 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Nothing) } }, constraints: [MinLen(1)] }, Anything(Top)], tail: None } }, b = Seq { container: List, shape: SeqShape { prefix: [], tail: None } }
cc 56f0cbf4332ae6c0047885d9fcc060985dfc4891bafeb55ddb75e95ddd368d1a # shrinks to a = Complement(Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Instance(ClassIx(0))) } }, constraints: [MinLen(0)] }), b = Complement(Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Instance(ClassIx(1))) } }, constraints: [MinLen(0)] })
cc 690d7b226ed94b2e6fbd1d422486ea0fe318e0122c89655178c50cd1dbfeacfe # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Intersection([Intersection([Literal(ConstIx(2))]), NoneType])) } }, b = Intersection([Seq { container: List, shape: SeqShape { prefix: [], tail: None } }])
cc a90dd13bd45d71b2f82a5e6e215ee5b6b3042c7f62d14cf4dc81f0454960f4a6 # shrinks to a = Union([Seq { container: List, shape: SeqShape { prefix: [Literal(ConstIx(0))], tail: None } }, KeyedMap { fields: [], defaults: [] }])
cc 560fc54c4db4ee245c59805bd707c62ce9de9e4609bcb9b64371cba6cc9ad04c # shrinks to a = Union([Union([Union([Instance(ClassIx(0)), NoneType])])])
cc e175de09b6fc0aabcb5e87eb3f30fc64fde95a4fa1ab19051cb3a7bfb68a02a3 # shrinks to a = Union([Nothing])
cc 2e5e77a6e5ab57be64b7f46638a362d167a4cb5832d2bc1f1fbc00a225bd5a53 # shrinks to a = Union([Bool, Intersection([Literal(ConstIx(0)), Bool])]), b = Union([Float])
cc f2817eb6ad099b849e5ec08cf15e7496fbcd5b40d5eef390ddf83f29a9d09b4e # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: None } }, b = Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }, constraints: [MinLen(1)] }
cc 08edf64349f23d2eaed51e7866183bf421ad54ae9814fca9c61817925e58363e # shrinks to a = Union([Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Literal(ConstIx(0))) } }]), b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Literal(ConstIx(3))) } }
