{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"record_array!("}]}
                record_array!(
            if matches!(rpitit_info, ty::ImplTraitInTraitData::Trait { .. }) {
                    self.tables.assumed_wf_types_for_rpitit[def_id]