Assertions are explicitly for unexpected states. You cannot sanely convert that to any user-friendly meaning because then it wouldn't have been an assertion but a regular check for errors.
On the other hand I wonder why one would default initialize the first parameter only to check that it isn't the default in the next line.