phase-crossing-property.rkt

 #lang racket

(module property racket
  (provide quote-syntax/add-example-property
           id)

  (define-for-syntax compile-time (current-inexact-milliseconds))
  
  (define-syntax (quote-syntax/add-example-property stx)
    (syntax-case stx ()
      [(_ e) (with-syntax ([e+prop (syntax-property
                                    #'e
                                    'example
                                    compile-time
                                    #t)])
               #'(quote-syntax e+prop))]))
  
  (define id (quote-syntax/add-example-property id))
  (syntax-property id 'example))

(require 'property)
(syntax-property (quote-syntax/add-example-property new-id) 'example)
(syntax-property id 'example)