It's only passed to `Analysis::apply_switch_int_edge_effect`, and the existing impls of that method only use the `value` field. So pass that instead. |
||
|---|---|---|
| .. | ||
| cursor.rs | ||
| direction.rs | ||
| fmt.rs | ||
| graphviz.rs | ||
| lattice.rs | ||
| mod.rs | ||
| results.rs | ||
| tests.rs | ||
| visitor.rs | ||
It's only passed to `Analysis::apply_switch_int_edge_effect`, and the existing impls of that method only use the `value` field. So pass that instead. |
||
|---|---|---|
| .. | ||
| cursor.rs | ||
| direction.rs | ||
| fmt.rs | ||
| graphviz.rs | ||
| lattice.rs | ||
| mod.rs | ||
| results.rs | ||
| tests.rs | ||
| visitor.rs | ||