Your 'friend' is indeed lucky. Lucky that they got the Covid before the jab rather than the other way around.
Double jab then Covid is not the way to go.
"recent observations from UK Health Security Agency (UKHSA) surveillance data that N antibody levels appear to be lower in individuals who acquire infection following 2 doses of vaccination. "