{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
/// ensure that regions appearing in the types of all local variables
/// be proven. This result includes liveness constraints that
/// are live at all points where that local variable may later be