@mrchance sorry, that's not currently supported. It's complicated. 🙂
@ambrosebs Thought so 😉 Clojure has so many nooks and crannies, it's amazing there is a type checker for it at all! Since you're here: What would be the best way to typecheck generated code? I wrote a small language that compiles to a small subset of clj, and would like to exploit core.typed for its type checking... So far, I generate a big let and run it through cf, but it would be nice to get access to the typing context as well.