0. #lang racket
1.  
2. (define-syntax (quux stx) #''hello)
3.  
4. (module m racket
5.   (provide (for-syntax mymacro-implementation))
6.  
7.   (define-for-syntax (mymacro-implementation stx)
8.     #`(list
9.        ;; Works
10.        #,(datum->syntax stx 'quux)
11.        ;; quux: unbound identifier in module
12.        #,(syntax-local-introduce #'quux))))
13.  
14. (require 'm)
15.  
16. (define-syntax (mymacro stx) (mymacro-implementation stx))
17. (mymacro)

=>

quux: undefined;

cannot reference an identifier before its definition

in module: 'm