Vineeth Kashyap

> @vineethk The documentation is wrong. It should be > > Removes edges where the source has only one successor and the target has only one predecessor > > ```...

@wrwg Acknowledged, working on this.

Once #12357 lands, I think we can move this down to be medium priority.

Some related issues: https://github.com/aptos-labs/aptos-core/issues/11071, https://github.com/aptos-labs/aptos-core/issues/11484

@brmataptos asked for the generated bytecode, so here it is for the first pair: ``` public test1(): u64 /* def_idx: 0 */ { L0: loc0: u64 L1: loc1: &mut u64...

* **#14394** 👈 * `main` This stack of pull requests is managed by Graphite. Learn more about stacking. Join @vineethk and the rest of your teammates on Graphite

* **#14362** 👈 * `main` This stack of pull requests is managed by Graphite. Learn more about stacking. Join @vineethk and the rest of your teammates on Graphite

Also, * `..` syntax (and its limitations), * positional fields, * vector and resource index

Closing as something that can only happen with the wrong test setup.

cc @JakeSilverman This is likely because parameters in the model ASTs can be `Temporary` and not `LocalVar`.