`builtins.path` and `pure-eval`

So, builtins.path could be used in pure-eval mode when sha256 is provided, but access to the returned path is still forbidden. Why is that? If the result of builtins.fetch* with sha256 or rev provided could be accessed, why is builtins.path different? How do they differ in purity?

1 Like