{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
// `with_ibox` that open a box, call a closure, and then close the box. That
// the need for this marker type altogether by having functions like
// would work for simple cases, but box lifetimes sometimes interact with