Files
Joe Savona fbb5efe024 [compiler] Tests for different orders of createfrom/capture w/wo function expressions
Adds some typed helpers to represent aliasing, assign, capture, createfrom, and mutate effects along with representative runtime behavior, and then adds tests to demonstrate that we model capture->createfrom and createfrom->capture correctly.

There is one case (createfrom->capture in a lambda) where we infer a less precise effect, but in the more conservative direction (we include more code/deps than necesssary rather than fewer).
2025-06-18 15:55:21 -07:00
..