{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"tcx.local_def_id_to_hir_id(impl_m_def_id.expect_local()),"}]}
        tcx.local_def_id_to_hir_id(impl_m_def_id.expect_local()),
        if is_internal { REFINING_IMPL_TRAIT_INTERNAL } else { REFINING_IMPL_TRAIT_REACHABLE },
        span,