syntax_data: {"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! field-deref on a local variable, `x.field`, has the same meaning
context_before: //! one-to-one mapping between the concrete and abstract (e.g., a
context_after: //! in both domains). Indexed projections are the exception: `a[x]`