We need a mechanism for practical, safe and efficient destruction of hierarchical system resources

Would path-dependent types be relevant for this use case?

1 Like