{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"principal_trait_ref.skip_binders().skip_binders().trait_id,"}]}
                        principal_trait_ref.skip_binders().skip_binders().trait_id,
                    self.fn_trait_kind_from_trait_id(from_chalk_trait_id(
                    ))