В PL/PgSQL анализатора операторът за присвояване се дефинира като
assign_operator : '='
| COLON_EQUALS
;
Това е наследена функция, присъстваща в изходния код от 1998 г., когато беше представена - както можем да видим в репозитория на PostgreSQL Git.
Започвайки от версия 9.4 тя е официално документирана.
Тази идиосинкразия - да има два оператора за едно и също нещо - беше повдигната в списъка с потребители на pgsql и някои хора поискаха тя да бъде премахната, но все още се пази в ядрото, защото справедливият корпус от наследен код разчита на него.
Вижте това съобщение от Tom Lane (основен разработчик на Pg).
И така, за да отговоря на вашите въпроси:
Не намерих ли някой раздел в документите, който споменава и/или обяснява това?
Не го намерихте, защото беше недокументиран, което е коригирано от версия 9.4.
Има ли известни последствия от използването на =вместо :=.
Няма странични последици от използването на = , но трябва да използвате := за присвояване, за да направите кода си по-четлив и (като страничен ефект) по-съвместим с PL/SQL.
Актуализация:може да има странични последствия в редки сценарии (вижте отговора на Ервин)
АКТУАЛИЗАЦИЯ:отговорът е актуализиран благодарение на приноса от Даниел, Санди и други.