Closed oflatt closed 8 months ago
This PR fixes a bug in HasArgType. For expressions that don't reference arg, they may have any arg type. I added a test case that demonstrates this. The fix is to only have an error when we infer a different arg type for a reference to the argument.
HasArgType
This PR fixes a bug in
HasArgType. For expressions that don't reference arg, they may have any arg type. I added a test case that demonstrates this. The fix is to only have an error when we infer a different arg type for a reference to the argument.