            return CaseResult(CaseResult::Type::Success);          }, params);           RC_ASSERT(result.type == SearchResult::Type::Failure);          RC_ASSERT(result.failure);          RC_ASSERT(result.failure->size == size);          RC_ASSERT(result.failure->shrinkable.value().result.description ==                    description);        });    prop("