{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(projection_pred) = assumption.as_projection_clause()
    ) -> Result<(), NoSolution> {
            && projection_pred.item_def_id() == goal.predicate.def_id()