syntax_data: {"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // no additional obligations to prove and no types in particular to unify, etc.
context_before:                 // this holds because that's what the object type is telling us, and there's really
context_after:                 ImplSource::Builtin(BuiltinImplSource::Misc, PredicateObligations::new())