{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"self.universal_regions.resume_ty.unwrap(),"}]}
                self.universal_regions.resume_ty.unwrap(),
            self.equate_normalized_input_or_output(
                mir_resume_ty,