кажется, есть смысл для явного указания что вызов — хвостовой. ввести ключевое слово (типа "tail").

пока это позиционируется как "оптимизация", на неё можно только надеяться. однако, есть алгоритмы, где без неё — нельзя.

программист мог бы явно указать компилятору чего он хочет, компилятор мог бы ругаться, если так сделать не получается.

на feature request тянет?