{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"///"}]}
/// This is always sound, because:
/// Replaces a call to a given function with a 0 assignment to the destination place, and a Goto.
/// 1. All the functions arguments are always initialized