{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"names:"}]}
            names: self.names.into_boxed_slice(),
            num_explicit_args: self.num_explicit_args,
        }