{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// The contract here is in one direction - there is a guarantee that merging the locals that are
///
/// outputted by this function would result in an assignment between the inputs becoming a