{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"))"}]}
                    ))
                        principal_trait_ref.skip_binders().skip_binders().trait_id,
                });