Decision #96 — library/core/src/ptr/mod.rs:823
Status: no_witness
Truth table
| row | c0 br 561 | c1 br 563 | c2 br 564 | c3 br 565 | c4 br 566 | c5 br 567 | c6 br 568 | outcome |
|---|---|---|---|---|---|---|---|---|
| 222128 | * | * | * | * | F | T | * | T |
| 222129 | * | * | * | * | F | T | * | T |
| 222130 | * | * | * | * | F | T | * | T |
| 222131 | * | * | * | * | F | T | * | T |
| 299505 | * | * | * | * | F | T | * | T |
| 299506 | * | * | * | * | F | T | * | T |
| 299507 | * | * | * | * | F | T | * | T |
| 299508 | * | * | * | * | F | T | * | T |
Independent-effect pairs
c0(branch561): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>· br_if
inlined: library/core/src/iter/adapters/zip.rs:673 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/into_iter.rs:597 ← library/core/src/ptr/mod.rs:818c1(branch563): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c2(branch564): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c3(branch565): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c4(branch566): GAP view gap →<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818c5(branch567): GAP view gap →<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c6(branch568): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823