Return value warning for should-be-impossible case.