{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"///"}]}
/// not correct, then the program is not unsound, since we still borrowck and validate
/// lifetime of the parent coroutine-closure's env. Luckily, if this function is
/// the choices made from this function -- the only side-effect is that the user