Closed
Description
The assertions that need this function were added to convince ourselves that the refactor away from it is correct. We don't need them anymore, so we can remove this function.
{{ message }}
No one assigned
No projects
No milestone
None yet
No branches or pull requests