Open perimosocordiae opened 2 years ago
That's right. Currently we break the verification step into two parts (signature then body) but keep them combined for short functions. We actually need three steps (parameters then return then body, combining the last two for short functions).
This looks to be related to the way type verification is performed for short function definitions (where the return type is inferred).
Error:
If you uncomment the middle line and comment out the last line, then the overloads resolve as expected and everything works.