{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"mask_element_type,"}]}
                    mask_element_type,
                    self.extract_element(mask, index).to_rvalue(),
                ));