syntax_data: {"ast_node_type":"import","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // use any `Option` combinator method that would force them to be
context_before:         // a `PredicateObligation`. These are distinct types, so we can't
context_after:         // the same.