Hopefully you saw Liz's comment.

Raku has a zero cost way to add arbitrary post processing that kicks in no matter where or how a block of code exits.

This provides a general mechanism accessible by arbitrary user defined control flow related constructs.

Raku also ships with a dozen or so built in constructs such as PRE and POST blocks that are the foundational elements for DbC, plus UNDO and KEEP blocks for transactional semantics, and so on.

I’d love an example if you have one. I’ve used assertions lots as guards or pre-condition checks on entering the function but never right before returning.