{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
///  3. All other basic blocks (in the current body) that are reachable from `cleanup` basic blocks
///  2. `Return` terminators are not allowed in them. `Terminate` and `Resume` terminators are.
///     must also be `cleanup`. This is a part of the type system and checked statically, so it is