`option/c` works inconsistently in DrRacket

running this file:

#lang racket
(module thing racket
  (require racket/contract/option)
  (provide (contract-out [nothing proc/c] [something proc/c] [something* proc/c]))
  (define (my-list args) (list args))
  (define proc/c (option/c (-> any/c any/c) #:with-contract #t))
  (define something (λ (x) (my-list x)))
  (define something* (λ (x) (list x)))
  (define nothing (λ (x) '())))
(require rackunit 'thing)
(map value-contract `(,nothing ,something ,something*))
(check-equal? (value-contract something) (value-contract nothing))
(check-equal? (value-contract something) (value-contract something*))

in the command line produces the following (expected) output:

'(#<option> #<option> #<option>)

However running it in DrRacket (with dynamic properties set to 'Debugging', the default) produces the following:

I genuinely don't know whether to file this issue with racket, DrRacket, or option contracts. I'm happy to refile it elsewhere if needed.

Start by running the provided Racket reproduction in the command line and then in DrRacket with dynamic properties set to 'Debugging'. Compare the displayed results and trace whether the inconsistency belongs to option contracts or DrRacket; done means the example behaves consistently with the expected output.