Please start a new thread discussing the specific issue you raise here: I see no obvious reason we couldn't change 'throw' to be an expression returning Never.
That said, making that change wouldn't fix your code above, because ?? requires the left and right side to be the same base types, and Never is not an A.