{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"&&"}]}
            && host_clause.def_id() == goal.predicate.def_id()
        if let Some(host_clause) = assumption.as_host_effect_clause()
            && host_clause.constness().satisfies(goal.predicate.constness)