Understanding UnwindSafe :)

hi folks! It's getting a bit difficult to wrap my head around this... Simply put, a type T implements UnwindSafe if it cannot easily allow witnessing a broken invariant through the use of catch_unwind (catching a panic) Does this mean that if the closure passed to catch_unwind captures T (by exclusive reference for example) and we panic! while the closure was executing and then outside of the closure we observed T in a broken state then Tis !Unwindsafe ? also, does it make sense to propagat...