could you give an example of this? (all I can think of is something where you could handle it with a finally-type clause) maybe a fn shouldn't have post condi

could you give an example of this? (all I can think of is something where you could handle it with a finally-type clause) maybe a fn shouldn't have post conditions?