with-fake-contract-in-required-module.rkt

;; Module `main` requires an identifier from module `helper-1.rkt` with `fake-contract` in there
(module main racket
  (#%module-begin
   (module configure-runtime '#%kernel
     (#%module-begin (#%require racket/runtime-config) (#%app configure '#f)))
   (#%require soft-contract/fake-contract)
   (#%require helper-1.rkt)
   (define-values
    (lifted.0)
    (begin
      (with-continuation-mark
       contract-continuation-mark-key
       (#%app cons idB5 'no-negative-party)
       (let-values ()
         (#%app
          idX2
          (#%app
           module-name-fixup
           (#%app
            variable-reference->module-source/submod
            (#%variable-reference))
           (#%app list)))))))
   
#| Original main.rkt
#lang racket
(require "helper-1.rkt)
number=>string
|#

#| Original helper-1.rkt
#lang racket
(require soft-contract/fake-contract)

(define (number=>string x) (number->string x))

(provide
 (contract-out
  [number=>string (number? . -> . string?)]))
|#