{"ast_node_type":"variable","tokens":[{"end":50,"kind":"keyword","start":0,"text":"let"}]}
    let impl_m_span = tcx.def_span(impl_m_def_id);
    let impl_m_def_id = impl_m.def_id.expect_local();
    let cause = ObligationCause::new(