{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"normalized_input_ty,"}]}
                normalized_input_ty,
            self.equate_normalized_input_or_output(
                mir_input_ty,