Closures type inference is lost for f/widget

example:

(defn webview-shortcuts-widget [.& ^m/Widget child]
  (f/widget
    :inherit [m/Shortcuts]
    (m/Shortcuts
      :child child
      :shortcuts
      (into {(m/SingleActivator services.LogicalKeyboardKey/tab) (m/DoNothingAndStopPropagationIntent)
             (m/SingleActivator services.LogicalKeyboardKey/tab :shift true) (m/DoNothingAndStopPropagationIntent)}
        (map (fn [[k v]] [k (m/DoNothingAndStopPropagationIntent)]))
        (.-shortcuts shortcuts)))))

generated code does not type

Start by reproducing the provided ClojureDart f/widget example and inspect the generated code, which the issue reports as losing type information for closures. Trace the type-inference path for f/widget and compare the generated output with the closure types expected by the Flutter/Dart widgets; done means the generated code retains the needed types.