syntax-local-get-shadower does not work in splicing-let

#lang racket
(require racket/splicing)

(define-syntax (expand-to-b stx)
  (syntax-local-get-shadower
   (datum->syntax #f 'b)))

(define b 1)

(splicing-let ([b 2])
  (expand-to-b))
;; => Incorrectly prints 1

(let ([b 2])
  (expand-to-b))
;; => Prints 2

My understanding is that splicing-let-body expands the body using local-expand, but does not specify an intdef-ctx argument.

I think the fix inside splicing-let-body would be to use syntax-local-make-definition-context to create a new definition context, then syntax-local-bind-syntaxes to bind rename transformers to the local variables in that internal definition context, and use it as the fourth argument to the local-expand call. All the body ... would have to be expanded using the same internal definition context.

Can someone confirm that this sounds like the right fix? If so, I can give it a shot and send a pull request, but I'd like confirmation that there isn't any reason to not proceed like that.

Start with racket/collects/racket/splicing.rkt, especially splicing-let-body and its local-expand call. Run the reproducer from the issue first, then inspect how the splicing-let body and each body form are expanded. Done means syntax-local-get-shadower resolves the spliced local binding as b=2 while ordinary let behavior remains unchanged.