{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"<-"}]}
                        <- self.tcx.assumed_wf_types_for_rpitit(def_id)
                    self.tables.assumed_wf_types_for_rpitit[def_id]
                );