Decision #981 — library/alloc/src/boxed.rs:1929
Status: partial
Truth table
| row | c0 br 2009 | c1 br 2010 | c2 br 2011 | c3 br 2012 | c4 br 2013 | c5 br 2014 | c6 br 2015 | c7 br 2016 | c8 br 2017 | c9 br 2018 | c10 br 2019 | c11 br 2020 | c12 br 2021 | c13 br 2022 | c14 br 2023 | c15 br 2024 | c16 br 2025 | c17 br 2026 | outcome |
|---|
Independent-effect pairs
c0(branch2009): PROVEDscry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c1(branch2010): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c2(branch2011): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c3(branch2012): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c4(branch2013): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c5(branch2014): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c6(branch2015): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c7(branch2016): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c8(branch2017): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c9(branch2018): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c10(branch2019): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c11(branch2020): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c12(branch2021): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c13(branch2022): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c14(branch2023): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c15(branch2024): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c16(branch2025): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c17(branch2026): DEAD view gap →scry_analyze_core::analyze· br_table_default
inlined: lib.rs:1041 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810