# 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 cdf0f40c15b04afe69d49d38541e91e0434aced85d9178ecf3908c4f1c8265ee # shrinks to a = Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [true] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [true] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }
cc b1da72f2c4c46e0714474e3092bd6ac2b72ef8d668e00d367adbfb122495a445 # shrinks to a = Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }, b = Descr { kinds: [Lines { lines: [Line { structure: Coarse(true), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(3)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Integers(IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Floats(FloatSet { spans: [Span { lo: -inf, lo_closed: true, hi: inf, hi_closed: true }], nan: true }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Words(RegularSet { dfa: Dfa { classes: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], class_count: 1, transitions: [0], accepting: [true] } }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Words(RegularSet { dfa: Dfa { classes: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], class_count: 1, transitions: [0], accepting: [true] } }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sets(SetLattice { lines: [Line { elements: Every, minus: [] }], negated: false }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sets(SetLattice { lines: [Line { elements: Every, minus: [] }], negated: false }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Maps(MapLattice { atoms: [MapAtom { labels: {}, defaults: [Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }], wanted: [] }], negated: false }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }], other: Lines { lines: [Line { structure: Coarse(true), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false } }
cc 9ee909ff1e04599f46093b644793923192b55b55ac1f64b4587c7c5136323990 # shrinks to a = Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }
cc a266a74d8b2f457d5273acf6540600ed95e496412259c4c0b14cfbb0880ef362 # shrinks to a = Descr { kinds: [Lines { lines: [Line { structure: Coarse(true), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(3)), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Integers(IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Floats(FloatSet { spans: [Span { lo: -inf, lo_closed: true, hi: inf, hi_closed: true }], nan: true }), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Words(RegularSet { dfa: Dfa { classes: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], class_count: 1, transitions: [0], accepting: [true] } }), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Words(RegularSet { dfa: Dfa { classes: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], class_count: 1, transitions: [0], accepting: [true] } }), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sets(SetLattice { lines: [Line { elements: Every, minus: [] }], negated: false }), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sets(SetLattice { lines: [Line { elements: Every, minus: [] }], negated: false }), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Maps(MapLattice { atoms: [MapAtom { labels: {}, defaults: [Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }, Field { ty: Every, absent: true }], wanted: [] }], negated: false }), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false }], other: Lines { lines: [Line { structure: Coarse(true), objects: RecordLattice { atoms: [Atom { fields: {"x": Field { ty: Only(Descr { kinds: [Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Booleans(BoolSet(1)), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [Line { structure: Sequences(SymbolicDfa { edges: [[Edge { guard: None, target: 0 }]], accepting: [false] }), objects: RecordLattice { atoms: [Atom { fields: {}, is_a: {}, not_a: {} }], negated: false } }], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }, Lines { lines: [], negated: false }], other: Lines { lines: [], negated: false } }), absent: true }}, is_a: {}, not_a: {} }], negated: false } }], negated: false } }
