> I do not really see any use cases in which this would be useful. There are plenty of cases where the human being can see/verify/test that the subgraph is isolated but the compiler cannot. Every tool that can detect races at runtime helps you here too.
We can try to ensure this at compile-time but there is no experience yet that suggests this would be worth while.
