{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"&&"}]}
            && next.category == ConstraintCategory::OpaqueType
            && matches!(path[best_choice].category, ConstraintCategory::Return(_))
        {