syntax_data: {"ast_node_type":"import","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! use proof trees without somehow "lifting up" data local to the current
context_before: //! and we discard inference progress via "probes", we cannot mechanically
context_after: //! `InferCtxt`. To use the data from evaluation we therefore canonicalize