{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
///     still an error to have such an edge in the CFG even if it's known that it won't be taken at
///     must also be `cleanup`. This is a part of the type system and checked statically, so it is
///     runtime.