MA> Leading trivia "кушает" всё, а вот trailing — только до конца строки.

Что это даёт? Почему сделано именно так, а не по-другому? Какие требования привели именно к такому решению?
Как это использовать?

MA> но и директивы препроцессора

тогда получается. что в синтаксическом дереве директивы препроцессора не спариваются?
имею в виду
#ifdef
#endif
Или это как-то обрабатывается при помощи structured trivia ?