{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"default_param_seen"}]}
                    default_param_seen = true;
                if inst == args[param.index as usize] {
                } else if default_param_seen {