We recommending against no_return() is specific to Dialyzer, as it makes it less useful as it will avoid warning when it finds some error cases. It has no relation to how exceptions will be handled in the type system.
2 Likes
