Fix dialyzer error when with else clause is calling a no_return function

Fix dialyzer error when with else clause is calling a no_return function #9857