{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"//"}]}
                    // non-block module.
                    // Loop invariant: at the beginning of each loop, `local_id` must refer to a
                    if let Some(parent) = def_map.modules[local_id].parent {