syntax_data: {"ast_node_type":"import","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! Because each nested goal in the solver gets [canonicalized] separately
context_before: //!
context_after: //! and we discard inference progress via "probes", we cannot mechanically