{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
    // if all constraints hold.
    // We then register the obligations from the impl_m and check to see
    let impl_predicates = tcx.predicates_of(impl_m_predicates.parent.unwrap());