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

;; Module `main` requires an identifier from module `helper-1.rkt` without `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)
    (#%app
     module-name-fixup
     (#%app variable-reference->module-source/submod (#%variable-reference))
     (#%app list)))
   (define-values (lifted.1) (#%app idX4 lifted.0))
   (#%app call-with-values (lambda () lifted.1) print-values)))

#| Original main.rkt
#lang racket
(require "helper-1.rkt")
number=>string
|#

#| Original helper-1.rkt
#lang racket

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

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