You are entirely correct. See Is not being able apply abs() without explicit types a limitation of type inference? for a discussion. The answer is "yes".
1 Like
You are entirely correct. See Is not being able apply abs() without explicit types a limitation of type inference? for a discussion. The answer is "yes".