Skip to content

Ensure dependency graph can be reasoned about statically

  • Check that no assignments are generated that are not covered by the assignees attribute of an instruction (including for futures)
  • Maybe statically declare that certain assignments will be made via a future.