#lang racket

(module A racket
  (provide m)
  (require (for-syntax syntax/parse syntax/location))

  (module empty racket
    (provide #%module-begin))

  (define-syntax (m stx)
    (syntax-parse stx
      [(_ arg ...)
       (with-syntax ([racket-use-site (datum->syntax stx 'racket)])
         #`(module foo #,(quote-module-path empty)
             (#%module-begin
              (require racket-use-site)
              (define x 5)
              (println x)
              arg ...)))])))

(module B racket
  (require (submod ".." A))
  (m #;(+ 1 2)))