question about syntax-local-lift-require

[sym...@gmail.com]

Hi,

The documentation of syntax-local-lift-require says that "If raw-require-spec and stx are part of the input to a transformer, then typically syntax-local-introduce should be applied to each before passing them to syntax-local-lift-require, and then syntax-local-introduce should be applied to the result of syntax-local-lift-require. Otherwise, marks added by the macro expander can prevent access to the new imports." But the two applications of "syntax-local-introduce" to "stx" will just cancel each other, so what's the purpose of applying "syntax-local-introduce" to "stx"?