{"ast_node_type":"variable","tokens":[{"end":81,"kind":"keyword","start":0,"text":"let"}]}
    let impl_number_args = impl_m_fty.skip_binder().inputs().skip_binder().len();
    let trait_number_args = trait_m_fty.skip_binder().inputs().skip_binder().len();