{"ast_node_type":"variable","tokens":[{"end":28,"kind":"keyword","start":0,"text":"let"}]}
        let argument_index =
        let implicit_inputs = self.universal_regions().defining_ty.implicit_inputs();
            self.universal_regions().unnormalized_input_tys.iter().skip(implicit_inputs).position(