);          RC_ASSERT(result.failure);          RC_ASSERT(result.failure->size == size);          RC_ASSERT(result.failure->shrinkable.value().result.description ==                    description);        });    prop("