syntax_data: {"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":")"}]}
source_snippet: ) -> ty::Binder<'tcx, (ty::TraitRef<'tcx>, Ty<'tcx>)> {
context_before:     tuple_arguments: TupleArgumentsFlag,
context_after:     assert!(!self_ty.has_escaping_bound_vars());