Clojurians Log v2

How can we get Calva (or maybe it's a clj-kondo thing?) to better understand ClojureDart directives? For example:

(f/widget
 :let [tc1 (m/TextEditingController)]
 (m/Column)
 .children
 [(m/TextField .controller tc1) ...]
 ...)

In the above, symbol tc1 should be considered "resolved" for everything below the :let directive.