syntax_data: {"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
source_snippet:         });
context_before:             span_bug!(obligation.cause.span, "object candidate with no principal")
context_after:         let object_trait_ref = self.infcx.instantiate_binder_with_fresh_vars(