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