syntax-parse: attributes don't cooperate with binding arrows

[jackfirth]

In this macro:

(define-simple-macro (with-lock lock body:expr ...+)
  #:declare lock (expr/c #'lock?)
  (call/lock lock.c body ...))

DrRacket draws a binding arrow from lock to the entire lock.c identifier, instead of just the lock part.

If I rename lock to l using DrRacket, it replaces the entire lock.c identifier with l instead of with l.c like I'd expect.