syntax_data: {"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":");"}]}
source_snippet:                         );
context_before:                             stack.obligation.predicate.skip_binder().trait_ref,
context_after:                         if !trait_ref.references_error() {