{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
///  2. `Return` terminators are not allowed in them. `Terminate` and `Resume` terminators are.
///  1. All `unwind` fields in them must be `UnwindAction::Terminate` or `UnwindAction::Unreachable`.
///  3. All other basic blocks (in the current body) that are reachable from `cleanup` basic blocks