{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.universal_regions.yield_ty.unwrap(),"}]}
                self.universal_regions.yield_ty.unwrap(),
            self.equate_normalized_input_or_output(
                mir_yield_ty,