Объяснение, которое Вы считали, корректно. Существует обсуждение этого в Компиляторы: Принципы, Методы и Инструменты (Книга Дракона):
A :: OutOfRange является функцией 4 аргументов - неявно * это первый аргумент, который отсутствует в вашем предложении привязки