{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"self.universal_regions().unnormalized_input_tys.iter().skip(implicit_inputs).position("}]}
            self.universal_regions().unnormalized_input_tys.iter().skip(implicit_inputs).position(
        let argument_index =
                |arg_ty| {