Closed
Description
The current code assumes that scoped regions are always subregions of those for region parameters. This is not true for nested functions like fn@().
{{ message }}
No type
No projects
None yet
No branches or pull requests
The current code assumes that scoped regions are always subregions of those for region parameters. This is not true for nested functions like fn@().