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