Closed nilehmann closed 6 months ago
Spawn out of this discussion.
This makes the substitution of generic parameters configurable. This is similar to the original implementation with a different substitution for sorts but I believe this is more honest about explaining the underlying issue.
Spawn out of this discussion.
This makes the substitution of generic parameters configurable. This is similar to the original implementation with a different substitution for sorts but I believe this is more honest about explaining the underlying issue.